[SCM] library of programs for modular symbols and elliptic curves over Q branch, master, updated. upstream/2012-06-01-12-gf20a80a
Julien Puydt
julien.puydt at laposte.net
Mon Jun 18 12:59:07 UTC 2012
The following commit has been merged in the master branch:
commit f20a80a90f3954c574caaad1020e4be41877d879
Author: Julien Puydt <julien.puydt at laposte.net>
Date: Mon Jun 18 14:59:00 2012 +0200
Cleaned cruft in the fsf-postal patch
diff --git a/debian/patches/fsf-postal.patch b/debian/patches/fsf-postal.patch
index f0b91f6..272dcfc 100644
--- a/debian/patches/fsf-postal.patch
+++ b/debian/patches/fsf-postal.patch
@@ -2668,775 +2668,6 @@ index ab93157..50db016 100644
//
//////////////////////////////////////////////////////////////////////////
//
-diff --git a/tests/in/tmrank-short.in~ b/tests/in/tmrank-short.in~
-deleted file mode 100644
-index bfb096d..0000000
---- a/tests/in/tmrank-short.in~
-+++ /dev/null
-@@ -1,763 +0,0 @@
--0 1 1 -2 0 2
--1 0 0 0 1 2
--1 -1 0 -4 4 2
--0 0 1 -7 6 3
--0 0 1 -1 6 3
--0 0 1 -49 132 3
--0 1 1 -72 210 4
--0 0 1 -7 36 4
--1 0 0 -202 1089 4
--0 0 1 -79 342 5
--0 0 1 -169 930 5
--0 1 1 -30 390 5
--0 0 1 -547 -2934 6
--0 0 0 -9907 306370 6
--0 0 1 -277 4566 6
--0 0 0 -9217 300985 7
--0 1 0 -5945 583879 7
--0 0 0 -9217 300985 7
--0 0 0 -6544 7375129 8
--0 1 0 9910 9815689 8
--0 0 0 -6112 12325825 8
--1 0 1 34318214642441646362435632562579908747 3184376895814127197244886284686214848599453811643486936756 15
--
--0 -1 1 -10 -20 0
--1 0 1 4 -6 0
--1 1 1 -10 -10 0
--1 -1 1 -1 -14 0
--0 1 1 -9 -15 0
--0 1 0 4 4 0
--1 0 0 -4 -1 0
--0 -1 0 -4 4 0
--1 -1 1 -3 3 0
--1 0 1 -5 -8 0
--0 0 1 0 -7 0
--1 0 1 1 2 0
--0 0 0 4 0 0
--1 1 0 -11 0 0
--1 0 0 -3 1 0
--0 1 1 9 1 0
--0 0 0 0 1 0
--0 0 1 -1 0 1
--0 1 1 -23 -50 0
--1 0 1 9 90 0
--1 1 1 0 1 0
--1 1 0 -4 -5 0
--0 0 0 -7 -6 0
--1 1 1 -4 5 0
--0 1 1 0 0 1
--0 1 0 3 -1 0
--1 -1 0 0 -5 0
--1 -1 0 -10 -12 0
--0 1 0 -4 -4 0
--1 -1 0 -2 -1 0
--1 0 1 -1 -2 0
--1 1 1 -3 1 0
--0 1 1 1 -1 0
--0 0 0 1 -10 0
--1 -1 1 0 0 1
--1 -1 0 12 8 0
--1 -1 1 1 -1 0
--1 -1 0 -4 3 0
--0 -1 0 0 -4 0
--0 0 0 1 2 0
--0 -1 1 -2 2 1
--0 1 1 20 -32 0
--1 0 1 -7 5 0
--1 -1 0 -1 1 1
--1 1 1 5 9 0
--1 0 0 -2 1 1
--1 -1 1 -1 1 0
--1 -1 0 9 0 0
--0 0 0 -4 0 0
--1 0 0 -1 0 1
--1 0 0 -45 81 0
--1 0 1 -6 4 0
--1 1 1 -2 -1 0
--0 1 1 -12 -21 0
--1 0 1 -1 -1 0
--1 -1 1 2 -3 0
--0 0 0 6 -7 0
--1 -1 0 4 -3 0
--0 -1 1 -8 -7 0
--0 1 1 2 4 0
--1 0 1 -1 23 0
--0 -1 0 -21 -31 0
--0 0 1 2 0 1
--0 1 1 -49 600 0
--1 1 0 4 11 0
--1 1 0 -19 685 0
--1 1 1 -2 0 1
--0 -1 0 4 -4 0
--0 0 0 -7 6 0
--1 0 1 -2 0 1
--1 1 1 1 0 1
--0 -1 0 -1 -2 0
--0 1 0 7 0 0
--1 1 0 -8 -13 0
--0 0 0 -4 4 1
--1 1 0 4 5 0
--1 1 1 -1 0 1
--1 -1 0 6 0 0
--1 -1 1 -8 11 0
--1 -1 1 13 -61 0
--0 0 1 1 0 1
--0 1 1 -7 5 1
--0 0 0 -1 1 1
--0 1 0 2 1 0
--1 -1 1 0 -1 0
--0 -1 0 -2 0 0
--0 1 0 -2 0 0
--1 1 0 -25 -111 0
--0 0 1 -3 -5 0
--1 -1 0 -15 8 0
--1 -1 1 -2 0 1
--1 -1 1 -59 186 0
--0 -1 0 -33 62 0
--0 1 1 -1 -1 1
--1 0 0 -34 68 0
--1 0 1 -256 1550 0
--1 1 0 -2 0 1
--0 1 0 -16 -32 0
--1 0 1 -3 1 0
--1 0 0 -283 -2351 0
--1 0 0 1 1 0
--1 1 0 -27 -67 0
--1 1 0 -7 5 1
--0 0 0 0 4 0
--1 -1 0 -8 -7 0
--1 0 0 -1 1 0
--1 0 1 -89 316 0
--1 1 1 10 -45 0
--0 -1 0 -8 -16 0
--0 0 0 1 -2 0
--0 1 0 0 4 1
--1 1 1 3 -4 0
--1 0 0 -8 0 0
--1 1 0 -95 -399 0
--1 1 1 -352 -2431 0
--0 0 1 7 -11 0
--0 -1 0 -4 24 0
--0 0 0 -4831 -129242 0
--0 1 0 -4 4 0
--1 -1 1 4 6 1
--1 1 0 1 1 1
--1 1 0 56 -192 0
--1 1 1 -25 39 0
--1 1 1 -4 -5 0
--0 1 0 -15 18 0
--0 1 0 4 0 0
--0 -1 1 -40 -221 0
--0 -1 1 -7 10 1
--1 1 0 -2 -7 0
--1 1 1 -30 -76 0
--1 0 1 2 0 1
--0 -1 1 1 -1 1
--0 1 1 -10 10 1
--0 0 0 -17 -27 0
--0 1 0 -2 1 1
--1 -1 0 -36 -176 0
--1 -1 1 -5 -7 0
--0 -1 0 1 -1 0
--0 -1 0 3 5 0
--0 1 0 1 1 1
--0 1 0 3 -5 0
--0 -1 1 -19 39 1
--1 0 1 -30 -29 0
--1 -1 1 -7 -1 0
--1 0 1 -33 68 1
--1 1 1 -841 -9737 0
--0 -1 1 1 0 1
--0 -1 0 -77 330 0
--0 1 0 3 0 0
--0 0 1 -27 -115 0
--0 0 1 -3 4 1
--0 -1 0 -8 -4 0
--0 1 0 -4 0 1
--1 0 1 -36 82 0
--1 1 0 -1 1 1
--1 1 1 3 3 0
--1 1 0 -3 -4 0
--0 0 0 32 212 0
--0 1 0 -5 -25 0
--0 -1 1 -1 0 1
--0 1 1 -12 2 1
--0 1 1 -26 -61 0
--1 0 0 -2 3 0
--1 1 1 -8 -16 0
--1 -1 0 -1 -3 0
--1 -1 0 -2626 52244 0
--1 -1 1 -12 15 1
--1 0 0 -8 8 0
--1 1 0 -1 -1 1
--0 -1 1 -1 -2 1
--0 0 0 0 -1 0
--0 0 0 6 7 0
--1 -1 1 -3 2 1
--0 -1 1 -2 -1 0
--0 1 1 -114 473 0
--1 1 1 48 48 0
--0 -1 0 -5 1 1
--1 0 0 -3 -3 0
--1 1 0 -75 -375 0
--1 1 1 37 281 0
--0 1 0 -1 3 1
--0 1 0 -8 -16 0
--0 0 1 -27 -61 0
--0 0 1 -3 2 1
--0 0 1 6 27 1
--1 -1 0 -6 -1 0
--1 -1 0 -29 69 1
--1 -1 1 -4 -89 0
--1 1 0 -14 -28 0
--0 -1 1 -1 1 1
--0 -1 1 10 6 1
--1 1 1 -1 -2 0
--0 -1 0 -5 6 1
--0 1 0 -13 -4 0
--1 -1 1 -9 9 1
--1 0 1 -82 -92 0
--1 1 0 -3 1 1
--1 1 1 -420 3109 0
--1 1 1 1 1 0
--0 -1 0 -6 -4 0
--0 1 0 -6 4 1
--1 -1 1 -9 8 0
--1 -1 0 -6 8 1
--1 -1 0 3 -1 0
--1 -1 1 -5 5 0
--1 -1 1 4 -1 0
--0 0 1 -2 1 1
--1 1 0 -6 4 1
--0 -1 0 -7 52 0
--0 1 0 -7 -10 0
--1 -1 0 -10 -10 0
--1 0 0 399 -919 0
--1 0 1 -2554 49452 0
--1 0 1 -3 6 0
--1 0 1 -8 6 1
--0 0 1 -21 -41 0
--0 0 1 177 1035 0
--0 0 1 6 0 1
--1 -1 1 -14 20 0
--0 1 0 -13 15 1
--1 0 0 -1 137 0
--1 0 1 -7705 1226492 0
--1 0 1 0 -2 0
--1 1 0 -56 -192 0
--1 1 1 -5 -7 0
--0 -1 1 -33 93 1
--0 -1 1 2 -2 1
--0 1 1 42 -131 0
--0 -1 0 3 1 1
--0 0 0 -4 -4 0
--0 1 0 -5 -13 0
--1 0 0 6 -28 0
--1 1 0 -44 80 0
--0 0 1 -1 -1 0
--0 0 0 -12 -11 0
--1 -1 0 -22 884 0
--1 -1 1 3 -5 0
--1 -1 1 866 6445 0
--1 0 0 7 -7 0
--1 0 1 -4609 120244 0
--0 -1 0 -4 5 1
--0 -1 0 0 1 1
--0 0 0 -55 -157 0
--0 0 0 5 6 0
--0 -1 1 -5 6 1
--0 1 1 -156 700 1
--1 0 1 -4 -3 1
--1 0 0 15 9 0
--1 0 1 -17 -28 0
--1 1 0 -83 -369 0
--0 0 1 7 1 0
--0 1 1 11 30 0
--0 0 1 -24 45 1
--0 0 1 -27 -7 0
--0 0 1 -3 0 1
--0 0 1 -6 3 0
--1 -1 1 -48 147 1
--1 0 0 -30 -100 0
--1 1 0 2 2 1
--0 -1 0 -4 -2 1
--0 -1 0 3 -3 0
--0 1 0 -4 2 0
--0 1 0 3 3 0
--1 -1 1 -3 -1 0
--0 -1 1 -190 1101 0
--0 1 1 -66 -349 0
--0 1 1 0 -1 0
--1 0 0 -110 435 0
--0 -1 0 -2 1 1
--0 1 0 -114 -127 0
--0 0 1 -5 4 1
--1 -1 0 -18 4 1
--1 -1 0 -405 -2187 0
--1 -1 0 -87 333 0
--1 -1 1 -50 -115 0
--1 -1 1 -65 209 0
--0 -1 0 -83 -88 0
--0 0 0 -50 125 0
--0 0 0 125 -1250 0
--0 0 0 5 -10 0
--0 1 0 -3 -2 1
--0 -1 1 2 0 1
--1 0 0 -1 2 1
--1 1 0 -794 8289 1
--1 -1 0 4 -176 0
--0 -1 1 20 -8 0
--1 1 0 -9 8 0
--1 1 1 0 -2 1
--0 -1 0 -1621 -24623 0
--0 1 0 -5 -9 0
--1 -1 1 -22 44 1
--1 1 0 -2 -1 0
--1 1 1 -21 -46 0
--1 1 0 2 0 0
--1 -1 1 -5 20 1
--0 -1 0 -16 32 1
--0 -1 0 8 -16 1
--0 0 0 -43 -166 0
--0 0 0 1 10 0
--0 1 1 -27 55 1
--1 0 0 -41 -39 0
--1 0 0 210 900 0
--1 0 1 -498 4228 0
--1 1 0 -3 -3 1
--1 1 1 10 -13 0
--0 -1 0 -12 -40 0
--0 -1 0 -4 8 1
--1 0 1 0 1 0
--1 0 0 -12 16 1
--1 0 0 2 4 0
--1 0 1 -193 1012 1
--1 0 1 1 0 1
--0 0 1 -8 -12 1
--0 0 0 -108 -540 0
--0 0 0 -12 20 1
--0 0 0 -27 918 0
--0 0 0 -3 -34 0
--1 0 0 -2 4 1
--0 -1 1 -6 8 1
--0 1 1 3 2 1
--1 1 0 -82 -305 1
--0 -1 0 -5 2 0
--0 1 0 -45 100 1
--1 -1 1 -733 7804 0
--1 1 0 -59 152 0
--1 0 0 2 -4 0
--1 0 1 1 -46 0
--1 1 0 -182317 29887645 0
--1 1 0 16 0 0
--1 1 1 17 179 0
--0 -1 0 2 0 0
--0 1 0 2 0 1
--0 0 1 -75 256 1
--0 0 1 0 156 0
--0 0 1 0 1 1
--0 0 1 15 -99 0
--1 -1 1 -5 -628 0
--1 0 0 -5 1 1
--0 -1 0 3 18 0
--0 -1 0 3 9 1
--1 0 0 -2 -1 1
--1 1 1 -34 62 0
--0 -1 0 8 -4 1
--0 1 0 -80 -304 0
--1 0 1 0 11 0
--1 -1 0 -24 -64 0
--1 -1 0 -3 5 1
--1 -1 1 -176 -18669 0
--1 -1 1 -29 -107 0
--1 -1 1 4 -7 0
--0 -1 1 4 1 0
--1 1 1 -3551 -82926 0
--1 1 1 -5 0 1
--0 -1 0 -1 2 1
--0 1 0 -9 8 0
--1 -1 0 2 0 1
--1 -1 1 -19 35 0
--1 0 0 -60 16 1
--1 1 0 32 0 0
--1 1 1 -18 -37 0
--0 -1 0 -15 -18 0
--0 -1 0 24 -144 0
--0 -1 0 4 0 1
--0 1 0 0 -12 0
--1 0 0 3 1 1
--1 0 1 360 -970 0
--0 0 1 0 -1 1
--0 0 1 0 2 0
--0 0 0 1 6 1
--0 -1 1 -65 -204 1
--0 0 1 -343 -4202 0
--0 0 1 -7 12 1
--1 0 0 -175 -27847 0
--1 0 0 -9 9 0
--1 0 1 -2 2 0
--1 0 1 -453897 -117739700 0
--1 1 0 -41 -123 0
--1 1 0 -66 180 1
--1 1 1 -270 -1821 0
--0 0 0 1 -1 1
--0 1 0 0 1 1
--0 1 0 8 0 0
--1 1 0 2 1 1
--1 1 1 -55 134 1
--0 0 0 -12 65 1
--0 0 0 60 61 0
--1 -1 0 -5 -3 1
--1 -1 1 -19 51 0
--1 0 0 -22 36 1
--1 0 0 2 0 0
--0 -1 0 -3 -1 0
--0 0 0 -2 0 1
--0 0 0 2 0 0
--0 1 0 -3 1 1
--1 0 0 -2 0 0
--1 0 0 159 1737 0
--1 0 1 -15 22 1
--1 1 0 -1916 31440 0
--1 1 0 3 -3 1
--1 1 1 -24 -39 0
--1 1 1 -44124 3549153 0
--1 -1 0 -5 -32 0
--0 -1 0 -281 1910 0
--1 -1 0 -2 2 1
--1 0 0 1 25 1
--0 -1 0 -12 -12 0
--0 1 0 -8 0 0
--0 1 0 -8016 -278928 0
--0 1 0 1 6 0
--1 -1 1 -138 656 1
--0 -1 1 -441 6419 0
--0 1 1 -3 2 0
--0 -1 0 3 -7 0
--0 0 1 -2 -1 1
--1 -1 0 -15 35 0
--1 -1 0 -159 813 0
--1 -1 1 -2 -1 0
--1 -1 1 7 -103 0
--0 -1 0 -4 0 0
--0 -1 0 -48 -64 0
--0 0 0 -11 -6 1
--0 1 0 -8 4 1
--0 -1 1 -26 68 1
--0 1 1 2540 -157433 0
--1 -1 0 -2 0 1
--1 -1 0 -2846 59156 1
--1 0 0 -7 9 1
--0 1 1 -8 19 0
--1 -1 1 20 22 1
--1 0 1 0 -1 1
--1 0 0 -1 9 1
--1 0 1 -537 6908 0
--0 -1 0 -1 5 1
--0 0 0 -412 3316 1
--1 1 1 -15 21 1
--1 1 1 58 -61 0
--1 0 0 19 0 1
--1 1 0 2 -17 1
--1 1 0 23 -176 0
--1 0 1 -7 42 0
--1 1 0 -33 61 1
--1 1 1 -66 -313 0
--1 1 1 0 -1 0
--1 1 1 13 177 1
--1 1 1 280 393 0
--0 0 0 -21 -20 1
--0 0 0 -21 20 0
--0 0 0 -9 0 0
--0 0 0 27 0 0
--0 0 0 3 0 1
--1 -1 1 -199 510 1
--1 -1 0 -70 -204 1
--0 -1 1 -2174 151262 0
--0 -1 1 0 -1 0
--1 1 1 -169 686 0
--1 1 1 -3 0 1
--1 0 0 -1 -1 0
--1 0 0 -197 -2367 0
--1 0 1 2 32 1
--1 0 1 23 -52 0
--1 1 0 1151 18901 0
--1 1 0 122 -10940 0
--1 1 1 -50 293 0
--0 -1 0 -33 85 1
--0 -1 0 -9 13 1
--0 0 1 -81 290 1
--0 0 1 -9 -11 0
--1 -1 0 12 -19 1
--1 -1 1 1 0 1
--1 -1 0 1 -1 1
--1 0 0 -19 33 1
--0 -1 0 -13 -23 0
--0 -1 0 -13 22 1
--0 1 0 -333 -3537 0
--0 1 0 -333 2088 0
--1 -1 1 0 3 1
--1 1 0 1 5 0
--1 1 1 -230 1251 1
--0 1 1 -197 -208 1
--0 1 1 -6 2 1
--0 -1 0 -1 -3 0
--0 -1 0 -248 -1424 0
--0 -1 0 -8 16 1
--0 -1 0 11 -3 0
--0 1 0 -21 31 1
--0 1 0 0 -76 1
--1 -1 0 -27 -27 1
--1 -1 0 -306 -1836 0
--1 -1 1 -23 -21 0
--1 -1 1 -2300 -41857 0
--0 -1 1 2 -1 0
--0 0 1 -8 -9 0
--0 0 1 1 -1 0
--1 1 0 0 -1 0
--0 -1 0 -21 49 1
--1 0 0 -6 9 1
--1 0 0 -106 420 1
--1 1 1 -66 -241 0
--0 -1 0 -3 0 1
--0 -1 0 -39 108 0
--0 -1 0 -651 6228 0
--0 1 0 -3 -6 0
--0 1 0 -7 2 0
--0 1 0 5 14 1
--1 -1 0 13 -11 1
--0 0 1 -12 -18 0
--1 -1 1 -23 -34 1
--0 -1 0 -180 -872 0
--0 0 0 -7 -2 1
--1 0 1 -61 176 0
--1 1 0 142 180 0
--1 1 0 7 -9 1
--1 1 1 -12 45 1
--1 1 1 2 -7 0
--0 0 1 -37 -87 0
--0 -1 0 -5 5 0
--0 -1 0 0 2 0
--0 0 0 -8 -8 0
--0 0 0 -8 8 1
--0 1 0 -5 -5 1
--0 1 0 0 -2 0
--1 -1 0 -8 44 1
--1 0 0 -14 4 1
--1 1 0 35 381 0
--1 1 1 -4 1 0
--0 0 1 -46 277 0
--0 0 0 -21 37 0
--0 0 0 -39 94 0
--0 0 0 -9 9 1
--0 0 0 9 -18 0
--0 -1 1 -3 3 1
--0 -1 1 -98 378 0
--0 1 1 -508 -4581 0
--0 1 1 -83 244 1
--1 1 0 -25 0 0
--1 -1 0 -80 -256 1
--1 0 0 -6 4 1
--1 0 1 -355 1182 0
--1 0 0 4 -3 1
--0 -1 0 -12 20 0
--0 0 0 -11 -10 1
--1 1 1 246 -1376 0
--1 0 0 5 17 0
--1 1 0 -1393 -20603 0
--1 1 0 -22 -44 1
--1 1 1 -40266 2921559 0
--1 1 1 255 255 0
--1 0 0 -5 4 1
--0 0 1 -30 -63 1
--0 0 1 -9 -7 0
--1 -1 0 12 35 1
--1 -1 1 1 -2 1
--1 -1 1 -1 -1 0
--0 0 1 -2 2 1
--0 -1 0 -7 10 0
--0 -1 0 16 0 1
--0 -1 0 7 0 0
--0 1 0 -1 2 0
--0 1 0 -64 -460 0
--0 1 0 -7 -52 0
--1 -1 0 -454 5812 1
--1 -1 0 1 1 1
--1 -1 1 137 2643 0
--1 0 0 81 467 0
--1 1 0 504 -13112 0
--1 1 1 3 -5 1
--0 -1 1 -112 501 0
--0 1 1 -2 2 1
--0 1 1 -441 3422 1
--0 0 0 -28 57 1
--1 -1 0 -3 1 1
--1 -1 0 -3168 62464 0
--1 -1 0 -72 0 1
--1 -1 0 0 -32 0
--1 -1 1 -140 -601 0
--1 -1 1 -29 1 0
--1 -1 1 -860 9915 0
--0 0 0 4 4 1
--0 -1 1 -731 -7369 0
--0 -1 1 30 -97 0
--0 1 1 -1 1 1
--0 1 1 -100 406 1
--1 0 0 9 0 0
--1 0 1 456 2401 0
--1 0 0 -16 -26 0
--1 1 1 -7 -3 1
--0 1 1 2 0 1
--0 -1 0 -94 3973 0
--0 -1 0 2 1 1
--0 1 0 -2 -3 0
--0 1 0 -50 129 1
--1 -1 0 -4492 126416 0
--1 -1 0 58 -284 0
--1 -1 1 -180 1047 1
--1 0 0 112 392 0
--1 1 0 5 5 1
--1 1 1 -13 31 0
--0 -1 0 -45 133 1
--0 -1 0 3 -11 1
--0 0 0 8 -112 0
--0 0 0 8 112 1
--0 1 0 -45 -133 0
--0 1 0 3 11 1
--1 1 1 -2 16 0
--1 0 1 9 -8 0
--1 1 0 -34 -92 0
--1 1 0 -715 7069 1
--1 1 1 -23511 -1393299 0
--1 1 1 -3 -3 0
--1 1 1 -5 11 1
--0 1 1 5 -1 0
--0 -1 0 4 -8 1
--0 -1 1 -5 -16 1
--0 -1 1 3565 72914 0
--0 1 1 -42 110 1
--0 1 1 20 -17 0
--1 0 0 -18 28 0
--1 1 0 55 197 0
--1 -1 1 -7 8 1
--1 0 1 -23 39 1
--0 0 0 -138 -623 0
--0 0 0 -18 -27 1
--0 0 0 -27 486 0
--0 0 0 -3 -18 0
--0 0 0 33 34 0
--0 -1 1 241 -17 0
--0 0 1 -38 90 1
--1 1 0 -4 2 1
--1 1 1 6 7 1
--0 -1 1 4 -1 0
--0 -1 1 444 -826 0
--1 1 1 -789 8130 0
--0 0 0 -584 5444 1
--0 1 0 -5 7 1
--1 0 0 -205 -1147 0
--1 0 0 -5 33 0
--1 0 1 -5 20 1
--1 0 1 -913 -10780 0
--1 1 0 -1 -11 0
--1 1 1 -32 65 1
--1 1 1 -7096 -233095 0
--0 -1 0 2 -1 1
--0 0 0 -1 -1 0
--0 0 0 -163 930 0
--0 0 0 -55 157 1
--0 0 0 5 -6 1
--0 1 0 -4 -5 0
--0 1 0 0 -1 1
--0 0 1 -93 -369 0
--0 0 1 6 13 1
--1 -1 0 -5 5 1
--1 0 0 -75 -143 0
--1 0 1 -19 342 0
--1 1 0 13 -19 0
--0 0 1 -31 -67 0
--1 1 0 -35 -98 1
--0 -1 0 -6 9 1
--0 1 0 -2 9 1
--0 1 0 -3054 -69327 0
--0 1 0 -9 12 0
--0 1 1 -2 -2 1
--1 -1 0 -32 0 1
--1 -1 0 -8 11 1
--1 -1 0 -12 24 0
--1 -1 0 -141 681 1
--1 -1 0 0 4 1
--1 -1 0 441 -1571 0
--1 -1 1 -11 -37 0
--1 -1 1 -2 -107 0
--1 -1 1 10 5 0
--1 -1 1 3967 38449 0
--0 -1 0 -921 10346 0
--0 0 0 -8 -3 1
--0 1 1 -11 -16 1
--0 1 1 -4 -5 0
--0 -1 0 -3 3 1
--0 -1 0 -35 -69 0
--0 -1 0 -6 18 0
--0 -1 0 2 -2 0
--0 1 0 -3 -3 0
--0 1 0 -35 69 1
--0 1 0 -6 -18 0
--0 1 0 2 2 0
--1 -1 1 -37 124 1
--1 0 0 0 7 1
--0 0 1 -174 -887 0
--0 0 1 -3 -9 0
--1 -1 0 -15 -46 1
--1 -1 1 -2 2 1
--1 -1 1 -221 1316 0
--0 1 1 -2 0 2
--1 0 0 -6 36 0
--1 0 1 -289 3092 0
--1 0 1 3997 3998 0
--1 1 0 -13 13 1
--1 1 0 -52 -176 0
--1 1 1 15 15 0
--1 1 1 4 -7 0
--0 -1 0 -16 29 1
--0 0 0 -343 -2401 0
--0 0 0 -7 7 1
--0 0 0 49 -686 1
--0 1 0 -16 1392 0
--0 1 0 -800 -8359 0
--0 -1 1 -50 156 0
--1 -1 1 -7 14 0
--1 1 1 -40 -128 0
--0 0 0 -696 -8215 0
--0 0 0 24 25 1
--0 0 0 24 52 0
--1 1 0 -6 20 0
--1 0 0 -431 3408 0
--1 1 0 -210 -441 1
--1 1 1 -13 -22 1
--0 -1 0 -3 2 0
--0 -1 0 -8 112 1
--0 0 0 -50 -125 1
--0 0 0 125 1250 0
--0 0 0 5 10 1
--0 1 0 -33 -62 0
--0 1 0 -48 -172 0
--0 1 0 -83 88 0
--
--0 0 0 0 0 0
--
--
--Decription of the curves above:
--a) All 18 rank 2 curves with N<1000
--b) 10 rank 3 curves
--c) 10 rank 4 curves
--d) 5 rank 5 curves
--e) 6 rank 6 curves
--f) 21 rank 7 curves
--g) 3 rank 8 curves
--h) 1 rank 15 curve
--i) All 722 curves with N<400
--
--Total: 796 curves
--
--Exercise: say which curve appears twice in this list!
diff --git a/tests/mattest.cc b/tests/mattest.cc
index 25f5167..e8d49de 100644
--- a/tests/mattest.cc
@@ -3554,809 +2785,6 @@ index e27ea64..4b41d64 100644
//
//////////////////////////////////////////////////////////////////////////
-diff --git a/tests/out/tmrank.out~ b/tests/out/tmrank.out~
-deleted file mode 100644
-index 280e9f4..0000000
---- a/tests/out/tmrank.out~
-+++ /dev/null
-@@ -1,797 +0,0 @@
--Verbose mode? (0/1)
--Curve [0,1,1,-2,0] : Rank = 2 (0.01 seconds)
--Curve [1,0,0,0,1] : Rank = 2 (0.02 seconds)
--Curve [1,-1,0,-4,4] : Rank = 2 (0.01 seconds)
--Curve [1,1,1,-15,16] : Rank = 2 (0.02 seconds)
--Curve [0,1,1,-4,2] : Rank = 2 (0.01 seconds)
--Curve [1,0,0,-4,3] : Rank = 2 (0.02 seconds)
--Curve [0,0,1,-13,18] : Rank = 2 (0.01 seconds)
--Curve [0,0,0,-7,10] : Rank = 2 (0.02 seconds)
--Curve [0,-1,1,0,2] : Rank = 2 (0.02 seconds)
--Curve [0,1,1,-12,12] : Rank = 2 (0.01 seconds)
--Curve [0,-1,1,-2,0] : Rank = 2 (0.02 seconds)
--Curve [1,0,1,-5,0] : Rank = 2 (0.01 seconds)
--Curve [1,0,1,-3,2] : Rank = 2 (0.02 seconds)
--Curve [0,1,1,1,6] : Rank = 2 (0.02 seconds)
--Curve [0,0,0,-4,1] : Rank = 2 (0.01 seconds)
--Curve [0,0,0,-19,34] : Rank = 2 (0.02 seconds)
--Curve [0,-1,1,-5,-3] : Rank = 2 (0.02 seconds)
--Curve [0,-1,1,-24,54] : Rank = 2 (0.01 seconds)
--Curve [0,0,1,-7,6] : Rank = 3 (0.01 seconds)
--Curve [0,0,1,-1,6] : Rank = 3 (0.02 seconds)
--Curve [0,0,1,-49,132] : Rank = 3 (0.02 seconds)
--Curve [0,0,1,-19,30] : Rank = 3 (0.02 seconds)
--Curve [0,0,1,-1,12] : Rank = 3 (0.02 seconds)
--Curve [0,0,1,-13,12] : Rank = 3 (0.01 seconds)
--Curve [0,0,1,-29,62] : Rank = 3 (0.02 seconds)
--Curve [0,0,1,11,12] : Rank = 3 (0.03 seconds)
--Curve [0,0,1,-20,39] : Rank = 3 (0.01 seconds)
--Curve [0,0,1,-104,-408] : Rank = 3 (0.01 seconds)
--Curve [0,1,1,-72,210] : Rank = 4 (0.01 seconds)
--Curve [0,0,1,-7,36] : Rank = 4 (0.03 seconds)
--Curve [1,0,0,-202,1089] : Rank = 4 (0.02 seconds)
--Curve [0,1,1,-2,42] : Rank = 4 (0.03 seconds)
--Curve [0,1,1,-32,72] : Rank = 4 (0.02 seconds)
--Curve [1,0,0,-49,120] : Rank = 4 (0.02 seconds)
--Curve [0,0,1,-67,216] : Rank = 4 (0.02 seconds)
--Curve [1,0,0,-25,66] : Rank = 4 (0.02 seconds)
--Curve [0,0,1,-19,60] : Rank = 4 (0.03 seconds)
--Curve [0,-1,1,-35,72] : Rank = 4 (0.01 seconds)
--Curve [0,0,1,-79,342] : Rank = 5 (0.03 seconds)
--Curve [0,0,1,-169,930] : Rank = 5 (0.03 seconds)
--Curve [0,1,1,-30,390] : Rank = 5 (0.04 seconds)
--Curve [0,0,1,-301,2052] : Rank = 5 (0.03 seconds)
--Curve [0,0,1,-457,3786] : Rank = 5 (0.04 seconds)
--Curve [0,0,1,-547,-2934] : Rank = 6 (0.03 seconds)
--Curve [0,0,0,-9907,306370] : Rank = 6 (0.03 seconds)
--Curve [0,0,1,-277,4566] : Rank = 6 (0.06 seconds)
--Curve [0,0,1,-379,5172] : Rank = 6 (0.06 seconds)
--Curve [0,0,0,-1852,17620] : Rank = 6 (0.01 seconds)
--Curve [0,0,0,-4732,135040] : Rank = 6 (0.03 seconds)
--Curve [0,0,0,-9217,300985] : Rank = 7 (0.03 seconds)
--Curve [0,1,0,-5945,583879] : Rank = 7 (0.1 seconds)
--Curve [0,0,0,-9217,300985] : Rank = 7 (0.02 seconds)
--Curve [0,0,0,-5947,982090] : Rank = 7 (0.14 seconds)
--Curve [0,0,0,7901,16916446] : Rank = 7 (1.4 seconds)
--Curve [0,0,0,2348,843760] : Rank = 7 (0.13 seconds)
--Curve [0,0,0,-7399,677386] : Rank = 7 (0.1 seconds)
--Curve [0,1,0,-9690,430969] : Rank = 7 (0.05 seconds)
--Curve [0,1,0,-9952,1027716] : Rank = 7 (0.13 seconds)
--Curve [0,0,0,-8677,1199125] : Rank = 7 (0.14 seconds)
--Curve [0,-1,0,-8402,516849] : Rank = 7 (0.07 seconds)
--Curve [0,0,0,-3367,705610] : Rank = 7 (0.12 seconds)
--Curve [0,0,0,-8029,40069] : Rank = 7 (0.02 seconds)
--Curve [0,1,0,-9025,1058064] : Rank = 7 (0.13 seconds)
--Curve [0,0,0,-2527,808930] : Rank = 7 (0.12 seconds)
--Curve [0,1,0,-9325,459924] : Rank = 7 (0.06 seconds)
--Curve [0,1,0,-5550,344569] : Rank = 7 (0.06 seconds)
--Curve [0,0,0,3701,1262794] : Rank = 7 (0.19 seconds)
--Curve [0,0,0,-9412,1383040] : Rank = 7 (0.17 seconds)
--Curve [0,1,0,9098,36969] : Rank = 7 (0.08 seconds)
--Curve [0,0,0,-240604,45804256] : Rank = 7 (0.9 seconds)
--Curve [0,0,0,-6544,7375129] : Rank = 8 (0.62 seconds)
--Curve [0,1,0,9910,9815689] : Rank = 8 (0.78 seconds)
--Curve [0,0,0,-6112,12325825] : Rank = 8 (0.93 seconds)
--Curve [1,0,1,34318214642441646362435632562579908747,3184376895814127197244886284686214848599453811643486936756] : Rank = 15 (4.47 seconds)
--Curve [0,-1,1,-10,-20] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,4,-6] : Rank = 0 (0.03 seconds)
--Curve [1,1,1,-10,-10] : Rank = 0 (0.04 seconds)
--Curve [1,-1,1,-1,-14] : Rank = 0 (0.05 seconds)
--Curve [0,1,1,-9,-15] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,4,4] : Rank = 0 (0.03 seconds)
--Curve [1,0,0,-4,-1] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-4,4] : Rank = 0 (0.04 seconds)
--Curve [1,-1,1,-3,3] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-5,-8] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,0,-7] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,1,2] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,4,0] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-11,0] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-3,1] : Rank = 0 (0.03 seconds)
--Curve [0,1,1,9,1] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,0,1] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-1,0] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-23,-50] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,9,90] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,0,1] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-4,-5] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,-7,-6] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-4,5] : Rank = 0 (0.03 seconds)
--Curve [0,1,1,0,0] : Rank = 1 (0.01 seconds)
--Curve [0,1,0,3,-1] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,0,-5] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,-10,-12] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-4,-4] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,-2,-1] : Rank = 0 (0.05 seconds)
--Curve [1,0,1,-1,-2] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-3,1] : Rank = 0 (0 seconds)
--Curve [0,1,1,1,-1] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,1,-10] : Rank = 0 (0.06 seconds)
--Curve [1,-1,1,0,0] : Rank = 1 (0.02 seconds)
--Curve [1,-1,0,12,8] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,1,-1] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-4,3] : Rank = 0 (0.04 seconds)
--Curve [0,-1,0,0,-4] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,1,2] : Rank = 0 (0.04 seconds)
--Curve [0,-1,1,-2,2] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,20,-32] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-7,5] : Rank = 0 (0.04 seconds)
--Curve [1,-1,0,-1,1] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,5,9] : Rank = 0 (0.02 seconds)
--Curve [1,0,0,-2,1] : Rank = 1 (0.01 seconds)
--Curve [1,-1,1,-1,1] : Rank = 0 (0.04 seconds)
--Curve [1,-1,0,9,0] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,-4,0] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-1,0] : Rank = 1 (0.08 seconds)
--Curve [1,0,0,-45,81] : Rank = 0 (0.07 seconds)
--Curve [1,0,1,-6,4] : Rank = 0 (0.03 seconds)
--Curve [1,1,1,-2,-1] : Rank = 0 (0.06 seconds)
--Curve [0,1,1,-12,-21] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-1,-1] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,2,-3] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,6,-7] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,4,-3] : Rank = 0 (0.07 seconds)
--Curve [0,-1,1,-8,-7] : Rank = 0 (0.01 seconds)
--Curve [0,1,1,2,4] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-1,23] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-21,-31] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,2,0] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-49,600] : Rank = 0 (0.03 seconds)
--Curve [1,1,0,4,11] : Rank = 0 (0.06 seconds)
--Curve [1,1,0,-19,685] : Rank = 0 (0.05 seconds)
--Curve [1,1,1,-2,0] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,4,-4] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,-7,6] : Rank = 0 (0.04 seconds)
--Curve [1,0,1,-2,0] : Rank = 1 (0.08 seconds)
--Curve [1,1,1,1,0] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,-1,-2] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,7,0] : Rank = 0 (0.03 seconds)
--Curve [1,1,0,-8,-13] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,-4,4] : Rank = 1 (0.02 seconds)
--Curve [1,1,0,4,5] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-1,0] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,6,0] : Rank = 0 (0.03 seconds)
--Curve [1,-1,1,-8,11] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,13,-61] : Rank = 0 (0.05 seconds)
--Curve [0,0,1,1,0] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-7,5] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-1,1] : Rank = 1 (0.01 seconds)
--Curve [0,1,0,2,1] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,0,-1] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,-2,0] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-2,0] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-25,-111] : Rank = 0 (0.06 seconds)
--Curve [0,0,1,-3,-5] : Rank = 0 (0.01 seconds)
--Curve [1,-1,0,-15,8] : Rank = 0 (0.08 seconds)
--Curve [1,-1,1,-2,0] : Rank = 1 (0.1 seconds)
--Curve [1,-1,1,-59,186] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-33,62] : Rank = 0 (0.07 seconds)
--Curve [0,1,1,-1,-1] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-34,68] : Rank = 0 (0.05 seconds)
--Curve [1,0,1,-256,1550] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-2,0] : Rank = 1 (0.07 seconds)
--Curve [0,1,0,-16,-32] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-3,1] : Rank = 0 (0.07 seconds)
--Curve [1,0,0,-283,-2351] : Rank = 0 (0.04 seconds)
--Curve [1,0,0,1,1] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-27,-67] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-7,5] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,0,4] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-8,-7] : Rank = 0 (0.01 seconds)
--Curve [1,0,0,-1,1] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-89,316] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,10,-45] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,-8,-16] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,1,-2] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,0,4] : Rank = 1 (0.06 seconds)
--Curve [1,1,1,3,-4] : Rank = 0 (0.07 seconds)
--Curve [1,0,0,-8,0] : Rank = 0 (0.03 seconds)
--Curve [1,1,0,-95,-399] : Rank = 0 (0.05 seconds)
--Curve [1,1,1,-352,-2431] : Rank = 0 (0.05 seconds)
--Curve [0,0,1,7,-11] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-4,24] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,-4831,-129242] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-4,4] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,4,6] : Rank = 1 (0.04 seconds)
--Curve [1,1,0,1,1] : Rank = 1 (0.02 seconds)
--Curve [1,1,0,56,-192] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-25,39] : Rank = 0 (0 seconds)
--Curve [1,1,1,-4,-5] : Rank = 0 (0.02 seconds)
--Curve [0,1,0,-15,18] : Rank = 0 (0.03 seconds)
--Curve [0,1,0,4,0] : Rank = 0 (0.05 seconds)
--Curve [0,-1,1,-40,-221] : Rank = 0 (0.03 seconds)
--Curve [0,-1,1,-7,10] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-2,-7] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-30,-76] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,2,0] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,1,-1] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-10,10] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-17,-27] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-2,1] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-36,-176] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,-5,-7] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,1,-1] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,3,5] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,1,1] : Rank = 1 (0.06 seconds)
--Curve [0,1,0,3,-5] : Rank = 0 (0.06 seconds)
--Curve [0,-1,1,-19,39] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,-30,-29] : Rank = 0 (0.06 seconds)
--Curve [1,-1,1,-7,-1] : Rank = 0 (0.07 seconds)
--Curve [1,0,1,-33,68] : Rank = 1 (0.03 seconds)
--Curve [1,1,1,-841,-9737] : Rank = 0 (0.05 seconds)
--Curve [0,-1,1,1,0] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-77,330] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,3,0] : Rank = 0 (0.06 seconds)
--Curve [0,0,1,-27,-115] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-3,4] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-8,-4] : Rank = 0 (0.09 seconds)
--Curve [0,1,0,-4,0] : Rank = 1 (0.08 seconds)
--Curve [1,0,1,-36,82] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-1,1] : Rank = 1 (0.06 seconds)
--Curve [1,1,1,3,3] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,-3,-4] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,32,212] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-5,-25] : Rank = 0 (0.02 seconds)
--Curve [0,-1,1,-1,0] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-12,2] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-26,-61] : Rank = 0 (0.01 seconds)
--Curve [1,0,0,-2,3] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,-8,-16] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,-1,-3] : Rank = 0 (0.06 seconds)
--Curve [1,-1,0,-2626,52244] : Rank = 0 (0.21 seconds)
--Curve [1,-1,1,-12,15] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-8,8] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-1,-1] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,-1,-2] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,0,-1] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,6,7] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,-3,2] : Rank = 1 (0.07 seconds)
--Curve [0,-1,1,-2,-1] : Rank = 0 (0.01 seconds)
--Curve [0,1,1,-114,473] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,48,48] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-5,1] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-3,-3] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-75,-375] : Rank = 0 (0.05 seconds)
--Curve [1,1,1,37,281] : Rank = 0 (0.04 seconds)
--Curve [0,1,0,-1,3] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-8,-16] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,-27,-61] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-3,2] : Rank = 1 (0.02 seconds)
--Curve [0,0,1,6,27] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-6,-1] : Rank = 0 (0.09 seconds)
--Curve [1,-1,0,-29,69] : Rank = 1 (0.04 seconds)
--Curve [1,-1,1,-4,-89] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-14,-28] : Rank = 0 (0.04 seconds)
--Curve [0,-1,1,-1,1] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,10,6] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-1,-2] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,-5,6] : Rank = 1 (0.08 seconds)
--Curve [0,1,0,-13,-4] : Rank = 0 (0.03 seconds)
--Curve [1,-1,1,-9,9] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,-82,-92] : Rank = 0 (0.03 seconds)
--Curve [1,1,0,-3,1] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-420,3109] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,1,1] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,-6,-4] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,-6,4] : Rank = 1 (0.06 seconds)
--Curve [1,-1,1,-9,8] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,-6,8] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,3,-1] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-5,5] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,4,-1] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-2,1] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-6,4] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-7,52] : Rank = 0 (0.04 seconds)
--Curve [0,1,0,-7,-10] : Rank = 0 (0.07 seconds)
--Curve [1,-1,0,-10,-10] : Rank = 0 (0.01 seconds)
--Curve [1,0,0,399,-919] : Rank = 0 (0.08 seconds)
--Curve [1,0,1,-2554,49452] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,-3,6] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-8,6] : Rank = 1 (0.07 seconds)
--Curve [0,0,1,-21,-41] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,177,1035] : Rank = 0 (0.05 seconds)
--Curve [0,0,1,6,0] : Rank = 1 (0.01 seconds)
--Curve [1,-1,1,-14,20] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,-13,15] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-1,137] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,-7705,1226492] : Rank = 0 (9.43 seconds)
--Curve [1,0,1,0,-2] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-56,-192] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-5,-7] : Rank = 0 (0.01 seconds)
--Curve [0,-1,1,-33,93] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,2,-2] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,42,-131] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,3,1] : Rank = 1 (0.02 seconds)
--Curve [0,0,0,-4,-4] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-5,-13] : Rank = 0 (0.02 seconds)
--Curve [1,0,0,6,-28] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-44,80] : Rank = 0 (0.06 seconds)
--Curve [0,0,1,-1,-1] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-12,-11] : Rank = 0 (0.09 seconds)
--Curve [1,-1,0,-22,884] : Rank = 0 (0.03 seconds)
--Curve [1,-1,1,3,-5] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,866,6445] : Rank = 0 (0.04 seconds)
--Curve [1,0,0,7,-7] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,-4609,120244] : Rank = 0 (0.24 seconds)
--Curve [0,-1,0,-4,5] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,0,1] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-55,-157] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,5,6] : Rank = 0 (0.06 seconds)
--Curve [0,-1,1,-5,6] : Rank = 1 (0 seconds)
--Curve [0,1,1,-156,700] : Rank = 1 (0.02 seconds)
--Curve [1,0,1,-4,-3] : Rank = 1 (0.07 seconds)
--Curve [1,0,0,15,9] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-17,-28] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-83,-369] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,7,1] : Rank = 0 (0.01 seconds)
--Curve [0,1,1,11,30] : Rank = 0 (0.03 seconds)
--Curve [0,0,1,-24,45] : Rank = 1 (0 seconds)
--Curve [0,0,1,-27,-7] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-3,0] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-6,3] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,-48,147] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-30,-100] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,2,2] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,-4,-2] : Rank = 1 (0.08 seconds)
--Curve [0,-1,0,3,-3] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-4,2] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,3,3] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,-3,-1] : Rank = 0 (0.09 seconds)
--Curve [0,-1,1,-190,1101] : Rank = 0 (0.02 seconds)
--Curve [0,1,1,-66,-349] : Rank = 0 (0.03 seconds)
--Curve [0,1,1,0,-1] : Rank = 0 (0.01 seconds)
--Curve [1,0,0,-110,435] : Rank = 0 (0.03 seconds)
--Curve [0,-1,0,-2,1] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-114,-127] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-5,4] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-18,4] : Rank = 1 (0.09 seconds)
--Curve [1,-1,0,-405,-2187] : Rank = 0 (0.09 seconds)
--Curve [1,-1,0,-87,333] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-50,-115] : Rank = 0 (0.08 seconds)
--Curve [1,-1,1,-65,209] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-83,-88] : Rank = 0 (0.09 seconds)
--Curve [0,0,0,-50,125] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,125,-1250] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,5,-10] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-3,-2] : Rank = 1 (0.1 seconds)
--Curve [0,-1,1,2,0] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,-1,2] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-794,8289] : Rank = 1 (0.04 seconds)
--Curve [1,-1,0,4,-176] : Rank = 0 (0.02 seconds)
--Curve [0,-1,1,20,-8] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-9,8] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,0,-2] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,-1621,-24623] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-5,-9] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-22,44] : Rank = 1 (0.05 seconds)
--Curve [1,1,0,-2,-1] : Rank = 0 (0.09 seconds)
--Curve [1,1,1,-21,-46] : Rank = 0 (0.06 seconds)
--Curve [1,1,0,2,0] : Rank = 0 (0.07 seconds)
--Curve [1,-1,1,-5,20] : Rank = 1 (0.05 seconds)
--Curve [0,-1,0,-16,32] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,8,-16] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-43,-166] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,1,10] : Rank = 0 (0.05 seconds)
--Curve [0,1,1,-27,55] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,-41,-39] : Rank = 0 (0.03 seconds)
--Curve [1,0,0,210,900] : Rank = 0 (0.03 seconds)
--Curve [1,0,1,-498,4228] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-3,-3] : Rank = 1 (0.08 seconds)
--Curve [1,1,1,10,-13] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-12,-40] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-4,8] : Rank = 1 (0.02 seconds)
--Curve [1,0,1,0,1] : Rank = 0 (0.06 seconds)
--Curve [1,0,0,-12,16] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,2,4] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,-193,1012] : Rank = 1 (0.02 seconds)
--Curve [1,0,1,1,0] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-8,-12] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-108,-540] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,-12,20] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-27,918] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-3,-34] : Rank = 0 (0.02 seconds)
--Curve [1,0,0,-2,4] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,-6,8] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,3,2] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-82,-305] : Rank = 1 (0.08 seconds)
--Curve [0,-1,0,-5,2] : Rank = 0 (0.08 seconds)
--Curve [0,1,0,-45,100] : Rank = 1 (0.03 seconds)
--Curve [1,-1,1,-733,7804] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,-59,152] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,2,-4] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,1,-46] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-182317,29887645] : Rank = 0 (7.19 seconds)
--Curve [1,1,0,16,0] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,17,179] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,2,0] : Rank = 0 (0.07 seconds)
--Curve [0,1,0,2,0] : Rank = 1 (0.07 seconds)
--Curve [0,0,1,-75,256] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,0,156] : Rank = 0 (0.03 seconds)
--Curve [0,0,1,0,1] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,15,-99] : Rank = 0 (0.03 seconds)
--Curve [1,-1,1,-5,-628] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-5,1] : Rank = 1 (0.08 seconds)
--Curve [0,-1,0,3,18] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,3,9] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-2,-1] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,-34,62] : Rank = 0 (0.03 seconds)
--Curve [0,-1,0,8,-4] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-80,-304] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,0,11] : Rank = 0 (0.06 seconds)
--Curve [1,-1,0,-24,-64] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-3,5] : Rank = 1 (0.05 seconds)
--Curve [1,-1,1,-176,-18669] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,-29,-107] : Rank = 0 (0.05 seconds)
--Curve [1,-1,1,4,-7] : Rank = 0 (0.01 seconds)
--Curve [0,-1,1,4,1] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-3551,-82926] : Rank = 0 (0.23 seconds)
--Curve [1,1,1,-5,0] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-1,2] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-9,8] : Rank = 0 (0.01 seconds)
--Curve [1,-1,0,2,0] : Rank = 1 (0.07 seconds)
--Curve [1,-1,1,-19,35] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-60,16] : Rank = 1 (0.08 seconds)
--Curve [1,1,0,32,0] : Rank = 0 (0.07 seconds)
--Curve [1,1,1,-18,-37] : Rank = 0 (0.08 seconds)
--Curve [0,-1,0,-15,-18] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,24,-144] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,4,0] : Rank = 1 (0.06 seconds)
--Curve [0,1,0,0,-12] : Rank = 0 (0.06 seconds)
--Curve [1,0,0,3,1] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,360,-970] : Rank = 0 (0.09 seconds)
--Curve [0,0,1,0,-1] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,0,2] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,1,6] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,-65,-204] : Rank = 1 (0.02 seconds)
--Curve [0,0,1,-343,-4202] : Rank = 0 (0.07 seconds)
--Curve [0,0,1,-7,12] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,-175,-27847] : Rank = 0 (0.32 seconds)
--Curve [1,0,0,-9,9] : Rank = 0 (0.06 seconds)
--Curve [1,0,1,-2,2] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-453897,-117739700] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,-41,-123] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-66,180] : Rank = 1 (0.06 seconds)
--Curve [1,1,1,-270,-1821] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,1,-1] : Rank = 1 (0.01 seconds)
--Curve [0,1,0,0,1] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,8,0] : Rank = 0 (0.07 seconds)
--Curve [1,1,0,2,1] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-55,134] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-12,65] : Rank = 1 (0.06 seconds)
--Curve [0,0,0,60,61] : Rank = 0 (0.06 seconds)
--Curve [1,-1,0,-5,-3] : Rank = 1 (0.01 seconds)
--Curve [1,-1,1,-19,51] : Rank = 0 (0.04 seconds)
--Curve [1,0,0,-22,36] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,2,0] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,-3,-1] : Rank = 0 (0.08 seconds)
--Curve [0,0,0,-2,0] : Rank = 1 (0.09 seconds)
--Curve [0,0,0,2,0] : Rank = 0 (0.07 seconds)
--Curve [0,1,0,-3,1] : Rank = 1 (0.08 seconds)
--Curve [1,0,0,-2,0] : Rank = 0 (0.08 seconds)
--Curve [1,0,0,159,1737] : Rank = 0 (0.06 seconds)
--Curve [1,0,1,-15,22] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-1916,31440] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,3,-3] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,-24,-39] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-44124,3549153] : Rank = 0 (1.74 seconds)
--Curve [1,-1,0,-5,-32] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,-281,1910] : Rank = 0 (0.04 seconds)
--Curve [1,-1,0,-2,2] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,1,25] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-12,-12] : Rank = 0 (0.08 seconds)
--Curve [0,1,0,-8,0] : Rank = 0 (0.07 seconds)
--Curve [0,1,0,-8016,-278928] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,1,6] : Rank = 0 (0.04 seconds)
--Curve [1,-1,1,-138,656] : Rank = 1 (0.05 seconds)
--Curve [0,-1,1,-441,6419] : Rank = 0 (0.09 seconds)
--Curve [0,1,1,-3,2] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,3,-7] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,-2,-1] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-15,35] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-159,813] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-2,-1] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,7,-103] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-4,0] : Rank = 0 (0.09 seconds)
--Curve [0,-1,0,-48,-64] : Rank = 0 (0.08 seconds)
--Curve [0,0,0,-11,-6] : Rank = 1 (0.09 seconds)
--Curve [0,1,0,-8,4] : Rank = 1 (0.09 seconds)
--Curve [0,-1,1,-26,68] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,2540,-157433] : Rank = 0 (1.6 seconds)
--Curve [1,-1,0,-2,0] : Rank = 1 (0.1 seconds)
--Curve [1,-1,0,-2846,59156] : Rank = 1 (0.1 seconds)
--Curve [1,0,0,-7,9] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-8,19] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,20,22] : Rank = 1 (0.05 seconds)
--Curve [1,0,1,0,-1] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-1,9] : Rank = 1 (0.02 seconds)
--Curve [1,0,1,-537,6908] : Rank = 0 (0.1 seconds)
--Curve [0,-1,0,-1,5] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-412,3316] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-15,21] : Rank = 1 (0.05 seconds)
--Curve [1,1,1,58,-61] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,19,0] : Rank = 1 (0.08 seconds)
--Curve [1,1,0,2,-17] : Rank = 1 (0.07 seconds)
--Curve [1,1,0,23,-176] : Rank = 0 (0.05 seconds)
--Curve [1,0,1,-7,42] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-33,61] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-66,-313] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,0,-1] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,13,177] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,280,393] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,-21,-20] : Rank = 1 (0.14 seconds)
--Curve [0,0,0,-21,20] : Rank = 0 (0.04 seconds)
--Curve [0,0,0,-9,0] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,27,0] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,3,0] : Rank = 1 (0.08 seconds)
--Curve [1,-1,1,-199,510] : Rank = 1 (0.06 seconds)
--Curve [1,-1,0,-70,-204] : Rank = 1 (0.07 seconds)
--Curve [0,-1,1,-2174,151262] : Rank = 0 (1.64 seconds)
--Curve [0,-1,1,0,-1] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-169,686] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,-3,0] : Rank = 1 (0.08 seconds)
--Curve [1,0,0,-1,-1] : Rank = 0 (0.02 seconds)
--Curve [1,0,0,-197,-2367] : Rank = 0 (0.04 seconds)
--Curve [1,0,1,2,32] : Rank = 1 (0.06 seconds)
--Curve [1,0,1,23,-52] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,1151,18901] : Rank = 0 (0.32 seconds)
--Curve [1,1,0,122,-10940] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-50,293] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-33,85] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-9,13] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-81,290] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-9,-11] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,12,-19] : Rank = 1 (0.01 seconds)
--Curve [1,-1,1,1,0] : Rank = 1 (0.02 seconds)
--Curve [1,-1,0,1,-1] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-19,33] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,-13,-23] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,-13,22] : Rank = 1 (0.07 seconds)
--Curve [0,1,0,-333,-3537] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-333,2088] : Rank = 0 (0.07 seconds)
--Curve [1,-1,1,0,3] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,1,5] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-230,1251] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-197,-208] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-6,2] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-1,-3] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,-248,-1424] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,-8,16] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,11,-3] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-21,31] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,0,-76] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-27,-27] : Rank = 1 (0.09 seconds)
--Curve [1,-1,0,-306,-1836] : Rank = 0 (0.07 seconds)
--Curve [1,-1,1,-23,-21] : Rank = 0 (0.08 seconds)
--Curve [1,-1,1,-2300,-41857] : Rank = 0 (0.06 seconds)
--Curve [0,-1,1,2,-1] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,-8,-9] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,1,-1] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,0,-1] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-21,49] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-6,9] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-106,420] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,-66,-241] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-3,0] : Rank = 1 (0.09 seconds)
--Curve [0,-1,0,-39,108] : Rank = 0 (0.04 seconds)
--Curve [0,-1,0,-651,6228] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,-3,-6] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,-7,2] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,5,14] : Rank = 1 (0.07 seconds)
--Curve [1,-1,0,13,-11] : Rank = 1 (0.02 seconds)
--Curve [0,0,1,-12,-18] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,-23,-34] : Rank = 1 (0.08 seconds)
--Curve [0,-1,0,-180,-872] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-7,-2] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,-61,176] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,142,180] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,7,-9] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,-12,45] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,2,-7] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-37,-87] : Rank = 0 (0.02 seconds)
--Curve [0,-1,0,-5,5] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,0,2] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,-8,-8] : Rank = 0 (0.08 seconds)
--Curve [0,0,0,-8,8] : Rank = 1 (0.07 seconds)
--Curve [0,1,0,-5,-5] : Rank = 1 (0.08 seconds)
--Curve [0,1,0,0,-2] : Rank = 0 (0.06 seconds)
--Curve [1,-1,0,-8,44] : Rank = 1 (0.06 seconds)
--Curve [1,0,0,-14,4] : Rank = 1 (0.08 seconds)
--Curve [1,1,0,35,381] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-4,1] : Rank = 0 (0.08 seconds)
--Curve [0,0,1,-46,277] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,-21,37] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-39,94] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-9,9] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,9,-18] : Rank = 0 (0.02 seconds)
--Curve [0,-1,1,-3,3] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,-98,378] : Rank = 0 (0.01 seconds)
--Curve [0,1,1,-508,-4581] : Rank = 0 (0.04 seconds)
--Curve [0,1,1,-83,244] : Rank = 1 (0.01 seconds)
--Curve [1,1,0,-25,0] : Rank = 0 (0.08 seconds)
--Curve [1,-1,0,-80,-256] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-6,4] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,-355,1182] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,4,-3] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-12,20] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,-11,-10] : Rank = 1 (0.08 seconds)
--Curve [1,1,1,246,-1376] : Rank = 0 (0.07 seconds)
--Curve [1,0,0,5,17] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,-1393,-20603] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,-22,-44] : Rank = 1 (0.08 seconds)
--Curve [1,1,1,-40266,2921559] : Rank = 0 (0.05 seconds)
--Curve [1,1,1,255,255] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-5,4] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-30,-63] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-9,-7] : Rank = 0 (0.01 seconds)
--Curve [1,-1,0,12,35] : Rank = 1 (0.07 seconds)
--Curve [1,-1,1,1,-2] : Rank = 1 (0.07 seconds)
--Curve [1,-1,1,-1,-1] : Rank = 0 (0.01 seconds)
--Curve [0,0,1,-2,2] : Rank = 1 (0.02 seconds)
--Curve [0,-1,0,-7,10] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,16,0] : Rank = 1 (0.06 seconds)
--Curve [0,-1,0,7,0] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,-1,2] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-64,-460] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-7,-52] : Rank = 0 (0.05 seconds)
--Curve [1,-1,0,-454,5812] : Rank = 1 (0.06 seconds)
--Curve [1,-1,0,1,1] : Rank = 1 (0.02 seconds)
--Curve [1,-1,1,137,2643] : Rank = 0 (0.06 seconds)
--Curve [1,0,0,81,467] : Rank = 0 (0.04 seconds)
--Curve [1,1,0,504,-13112] : Rank = 0 (0.21 seconds)
--Curve [1,1,1,3,-5] : Rank = 1 (0.02 seconds)
--Curve [0,-1,1,-112,501] : Rank = 0 (0.01 seconds)
--Curve [0,1,1,-2,2] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,-441,3422] : Rank = 1 (0.02 seconds)
--Curve [0,0,0,-28,57] : Rank = 1 (0.06 seconds)
--Curve [1,-1,0,-3,1] : Rank = 1 (0.09 seconds)
--Curve [1,-1,0,-3168,62464] : Rank = 0 (0.06 seconds)
--Curve [1,-1,0,-72,0] : Rank = 1 (0.1 seconds)
--Curve [1,-1,0,0,-32] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-140,-601] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,-29,1] : Rank = 0 (0.09 seconds)
--Curve [1,-1,1,-860,9915] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,4,4] : Rank = 1 (0.02 seconds)
--Curve [0,-1,1,-731,-7369] : Rank = 0 (0.04 seconds)
--Curve [0,-1,1,30,-97] : Rank = 0 (0.03 seconds)
--Curve [0,1,1,-1,1] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-100,406] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,9,0] : Rank = 0 (0.05 seconds)
--Curve [1,0,1,456,2401] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-16,-26] : Rank = 0 (0.02 seconds)
--Curve [1,1,1,-7,-3] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,2,0] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-94,3973] : Rank = 0 (0.04 seconds)
--Curve [0,-1,0,2,1] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-2,-3] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-50,129] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-4492,126416] : Rank = 0 (0.56 seconds)
--Curve [1,-1,0,58,-284] : Rank = 0 (0.06 seconds)
--Curve [1,-1,1,-180,1047] : Rank = 1 (0.02 seconds)
--Curve [1,0,0,112,392] : Rank = 0 (0.05 seconds)
--Curve [1,1,0,5,5] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-13,31] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,-45,133] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,3,-11] : Rank = 1 (0.02 seconds)
--Curve [0,0,0,8,-112] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,8,112] : Rank = 1 (0.01 seconds)
--Curve [0,1,0,-45,-133] : Rank = 0 (0.02 seconds)
--Curve [0,1,0,3,11] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,-2,16] : Rank = 0 (0.06 seconds)
--Curve [1,0,1,9,-8] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-34,-92] : Rank = 0 (0.06 seconds)
--Curve [1,1,0,-715,7069] : Rank = 1 (0.04 seconds)
--Curve [1,1,1,-23511,-1393299] : Rank = 0 (0.06 seconds)
--Curve [1,1,1,-3,-3] : Rank = 0 (0.08 seconds)
--Curve [1,1,1,-5,11] : Rank = 1 (0.02 seconds)
--Curve [0,1,1,5,-1] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,4,-8] : Rank = 1 (0.02 seconds)
--Curve [0,-1,1,-5,-16] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,3565,72914] : Rank = 0 (1.17 seconds)
--Curve [0,1,1,-42,110] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,20,-17] : Rank = 0 (0.03 seconds)
--Curve [1,0,0,-18,28] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,55,197] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-7,8] : Rank = 1 (0.01 seconds)
--Curve [1,0,1,-23,39] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-138,-623] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,-18,-27] : Rank = 1 (0.08 seconds)
--Curve [0,0,0,-27,486] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,-3,-18] : Rank = 0 (0.06 seconds)
--Curve [0,0,0,33,34] : Rank = 0 (0.05 seconds)
--Curve [0,-1,1,241,-17] : Rank = 0 (0.05 seconds)
--Curve [0,0,1,-38,90] : Rank = 1 (0.02 seconds)
--Curve [1,1,0,-4,2] : Rank = 1 (0.01 seconds)
--Curve [1,1,1,6,7] : Rank = 1 (0.01 seconds)
--Curve [0,-1,1,4,-1] : Rank = 0 (0.02 seconds)
--Curve [0,-1,1,444,-826] : Rank = 0 (0.09 seconds)
--Curve [1,1,1,-789,8130] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,-584,5444] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-5,7] : Rank = 1 (0.01 seconds)
--Curve [1,0,0,-205,-1147] : Rank = 0 (0.02 seconds)
--Curve [1,0,0,-5,33] : Rank = 0 (0.01 seconds)
--Curve [1,0,1,-5,20] : Rank = 1 (0.02 seconds)
--Curve [1,0,1,-913,-10780] : Rank = 0 (0.06 seconds)
--Curve [1,1,0,-1,-11] : Rank = 0 (0.05 seconds)
--Curve [1,1,1,-32,65] : Rank = 1 (0.02 seconds)
--Curve [1,1,1,-7096,-233095] : Rank = 0 (0.29 seconds)
--Curve [0,-1,0,2,-1] : Rank = 1 (0.02 seconds)
--Curve [0,0,0,-1,-1] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,-163,930] : Rank = 0 (0.04 seconds)
--Curve [0,0,0,-55,157] : Rank = 1 (0 seconds)
--Curve [0,0,0,5,-6] : Rank = 1 (0.08 seconds)
--Curve [0,1,0,-4,-5] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,0,-1] : Rank = 1 (0.01 seconds)
--Curve [0,0,1,-93,-369] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,6,13] : Rank = 1 (0.02 seconds)
--Curve [1,-1,0,-5,5] : Rank = 1 (0.07 seconds)
--Curve [1,0,0,-75,-143] : Rank = 0 (0.03 seconds)
--Curve [1,0,1,-19,342] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,13,-19] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-31,-67] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-35,-98] : Rank = 1 (0.01 seconds)
--Curve [0,-1,0,-6,9] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-2,9] : Rank = 1 (0.01 seconds)
--Curve [0,1,0,-3054,-69327] : Rank = 0 (0.07 seconds)
--Curve [0,1,0,-9,12] : Rank = 0 (0.05 seconds)
--Curve [0,1,1,-2,-2] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,-32,0] : Rank = 1 (0.1 seconds)
--Curve [1,-1,0,-8,11] : Rank = 1 (0.06 seconds)
--Curve [1,-1,0,-12,24] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-141,681] : Rank = 1 (0.01 seconds)
--Curve [1,-1,0,0,4] : Rank = 1 (0.02 seconds)
--Curve [1,-1,0,441,-1571] : Rank = 0 (0.09 seconds)
--Curve [1,-1,1,-11,-37] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,-2,-107] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,10,5] : Rank = 0 (0.02 seconds)
--Curve [1,-1,1,3967,38449] : Rank = 0 (1.23 seconds)
--Curve [0,-1,0,-921,10346] : Rank = 0 (0.07 seconds)
--Curve [0,0,0,-8,-3] : Rank = 1 (0.1 seconds)
--Curve [0,1,1,-11,-16] : Rank = 1 (0.01 seconds)
--Curve [0,1,1,-4,-5] : Rank = 0 (0.01 seconds)
--Curve [0,-1,0,-3,3] : Rank = 1 (0.07 seconds)
--Curve [0,-1,0,-35,-69] : Rank = 0 (0.06 seconds)
--Curve [0,-1,0,-6,18] : Rank = 0 (0.05 seconds)
--Curve [0,-1,0,2,-2] : Rank = 0 (0.07 seconds)
--Curve [0,1,0,-3,-3] : Rank = 0 (0.08 seconds)
--Curve [0,1,0,-35,69] : Rank = 1 (0.05 seconds)
--Curve [0,1,0,-6,-18] : Rank = 0 (0.06 seconds)
--Curve [0,1,0,2,2] : Rank = 0 (0.06 seconds)
--Curve [1,-1,1,-37,124] : Rank = 1 (0.04 seconds)
--Curve [1,0,0,0,7] : Rank = 1 (0.06 seconds)
--Curve [0,0,1,-174,-887] : Rank = 0 (0.02 seconds)
--Curve [0,0,1,-3,-9] : Rank = 0 (0.02 seconds)
--Curve [1,-1,0,-15,-46] : Rank = 1 (0.02 seconds)
--Curve [1,-1,1,-2,2] : Rank = 1 (0.01 seconds)
--Curve [1,-1,1,-221,1316] : Rank = 0 (0.05 seconds)
--Curve [0,1,1,-2,0] : Rank = 2 (0.01 seconds)
--Curve [1,0,0,-6,36] : Rank = 0 (0.02 seconds)
--Curve [1,0,1,-289,3092] : Rank = 0 (0.05 seconds)
--Curve [1,0,1,3997,3998] : Rank = 0 (0.02 seconds)
--Curve [1,1,0,-13,13] : Rank = 1 (0.07 seconds)
--Curve [1,1,0,-52,-176] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,15,15] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,4,-7] : Rank = 0 (0.07 seconds)
--Curve [0,-1,0,-16,29] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,-343,-2401] : Rank = 0 (0.02 seconds)
--Curve [0,0,0,-7,7] : Rank = 1 (0.01 seconds)
--Curve [0,0,0,49,-686] : Rank = 1 (0.06 seconds)
--Curve [0,1,0,-16,1392] : Rank = 0 (0.05 seconds)
--Curve [0,1,0,-800,-8359] : Rank = 0 (0.04 seconds)
--Curve [0,-1,1,-50,156] : Rank = 0 (0.01 seconds)
--Curve [1,-1,1,-7,14] : Rank = 0 (0.04 seconds)
--Curve [1,1,1,-40,-128] : Rank = 0 (0.04 seconds)
--Curve [0,0,0,-696,-8215] : Rank = 0 (0.05 seconds)
--Curve [0,0,0,24,25] : Rank = 1 (0.07 seconds)
--Curve [0,0,0,24,52] : Rank = 0 (0.01 seconds)
--Curve [1,1,0,-6,20] : Rank = 0 (0.05 seconds)
--Curve [1,0,0,-431,3408] : Rank = 0 (0.06 seconds)
--Curve [1,1,0,-210,-441] : Rank = 1 (0.1 seconds)
--Curve [1,1,1,-13,-22] : Rank = 1 (0.08 seconds)
--Curve [0,-1,0,-3,2] : Rank = 0 (0.08 seconds)
--Curve [0,-1,0,-8,112] : Rank = 1 (0.02 seconds)
--Curve [0,0,0,-50,-125] : Rank = 1 (0.08 seconds)
--Curve [0,0,0,125,1250] : Rank = 0 (0.01 seconds)
--Curve [0,0,0,5,10] : Rank = 1 (0.02 seconds)
--Curve [0,1,0,-33,-62] : Rank = 0 (0.08 seconds)
--Curve [0,1,0,-48,-172] : Rank = 0 (0.01 seconds)
--Curve [0,1,0,-83,88] : Rank = 0 (0.08 seconds)
diff --git a/tests/ptest.cc b/tests/ptest.cc
index 188e9a8..a5f5740 100644
--- a/tests/ptest.cc
--
library of programs for modular symbols and elliptic curves over Q
More information about the debian-science-commits
mailing list