[was@modular counting_slopes-10-23-00]$ [was@modular counting_slopes-10-23-00]$ Magma V2.7-3      Tue Nov  7 2000 20:49:49 on modular  [Seed = 3554760905]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/was/modsym/init-magma.m"

C               IndexGamma0     R               ellap           idxG0
CS              MS              S               factormod       modcharpoly
DC              ND              Tn              factorpadic     padiccharpoly
ES              NS              Z               fcp             qexp
F               Q               charpoly        fn              x
> load "level2slopes_1-5000.m";
Loading "level2slopes_1-5000.m"
> Attach("coleman.m");
> time conj:=[<j,n,alpha> : j in [0..10], n in [1..6], alpha in [3..20] |
     IsEven(j) and Dim(j,n,alpha,slopes) gt 0];
time> 
>>      IsEven(j) and Dim(j,n,alpha,slopes) gt 0];
                                    ^
User error: Identifier 'slopes' has not been declared or assigned
> slopes:=level2slopes_1-5000.m;

>> slopes:=level2slopes_1-5000.m;
                               ^
User error: Real literal has no digits after decimal point
> slopes:=level2slopes.m;

>> slopes:=level2slopes.m;
                        ^
User error: Identifier 'm' has not been declared or assigned
> slopes:=level2slopes;
> time conj:=[<j,n,alpha> : j in [0..10], n in [1..6], alpha in [3..20] |
     IsEven(j) and Dim(j,n,alpha,slopes) gt 0];

time> 




[Interrupted]
> > > > > > > > > > > 
> 
> 
> time conj:=[<j,n,alpha> : j in [0..4], n in [1..3], alpha in [3..40] | IsEven(j) and Dim(j,n,alpha,slopes) gt 0];

[Interrupted]
> Dim(0,1,3,slopes);
-18
> Dim(6,3,4,slopes);
1
> Conj(6,3,4,1,slopes);
true 0
> conj := [ <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <10, 4, 5>, <10, 5, 5>, <2, 4, 6>, <2, 5, 6>, <8, 4, 7>, <8, 5, 7>, <4, 4, 8>, <4, 5, 8> ];
> for c in conj do Dim(c[1],c[2],c[3],Dim(c[1],c[2],c[3],slopes),slopes); end for;

>> for c in conj do Dim(c[1],c[2],c[3],Dim(c[1],c[2],c[3],slopes),slopes); end
                       ^
Runtime error in 'Dim': Bad argument types
Argument types given: RngIntElt, RngIntElt, RngIntElt, RngIntElt, SeqEnum[SeqEnum]
> for c in conj do TryConj(c[1],c[2],c[3],slopes); end for;

>> for c in conj do TryConj(c[1],c[2],c[3],slopes); end for;
                           ^
Runtime error in 'TryConj': Bad argument types
Argument types given: RngIntElt, RngIntElt, RngIntElt, SeqEnum[SeqEnum]
> for c in conj do TryConj(c[1],c[2],c[3],slopes); end for;
true 1
true 1
true 1
true 1
true 1
true 2
true 2
true 1
true 1
true 1
true 1
> Sort(conj);
> Sort(conj);
[ <2, 4, 6>, <2, 5, 6>, <4, 4, 8>, <4, 5, 8>, <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <8, 4, 7>, <8, 5, 7>, <10, 4, 5>, <10, 5, 5> ]
> conj2:=[ <0, 2, 3>, <0, 3, 3>, <0, 4, 3>, <2, 4, 6>, <4, 2, 3>, <4, 3, 3>, <4, 4, 3> ];
>  for c in conj2 do TryConj(c[1],c[2],c[3],slopes); end for;
true 1
true 1
true 1
true 2
true 1
true 1
true 1
> conj := Sort(conj cat conj2);
> conj;
[ <0, 2, 3>, <0, 3, 3>, <0, 4, 3>, <2, 4, 6>, <2, 4, 6>, <2, 5, 6>, <4, 2, 3>, <4, 3, 3>, <4, 4, 3>, <4, 4, 8>, <4, 5, 8>, <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <8, 4, 7>, <8, 5, 7>, <10, 4, 5>, <10, 5, 5> ]
> #conj;
18
> #Set(conj);
17
> Set(conj);
{ <8, 5, 7>, <6, 3, 4>, <6, 4, 4>, <4, 2, 3>, <6, 5, 4>, <0, 4, 3>, <2, 4, 6>, <8, 4, 7>, <10, 4, 5>, <10, 5, 5>, <4, 4, 3>, <4, 5, 8>, <0, 3, 3>, <2, 5, 6>, <0, 2, 3>, <4, 4, 8>, <4, 3, 3> }
> conj := [a : a in Set(conj)];
> conj;
[ <8, 5, 7>, <6, 3, 4>, <6, 4, 4>, <4, 2, 3>, <6, 5, 4>, <0, 4, 3>, <2, 4, 6>, <8, 4, 7>, <10, 4, 5>, <10, 5, 5>, <4, 4, 3>, <4, 5, 8>, <0, 3, 3>, <2, 5, 6>, <0, 2, 3>, <4, 4, 8>, <4, 3, 3> ]
> conj := Sort(conj);
> conj;
[ <0, 2, 3>, <0, 3, 3>, <0, 4, 3>, <2, 4, 6>, <2, 5, 6>, <4, 2, 3>, <4, 3, 3>, <4, 4, 3>, <4, 4, 8>, <4, 5, 8>, <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <8, 4, 7>, <8, 5, 7>, <10, 4, 5>, <10, 5, 5> ]
>  for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, ":  ", a, b; end for;
> conj:=[ <0, 2, 3>, <0, 3, 3>, <0, 3, 7>, <0, 4, 3>, <0, 4, 7>, <0, 5, 3>, <0, 5, 7>, <0, 6, 3>, <0, 6, 7>, <0, 6, 13>, <0, 6, 15>, <0, 6, 17>, <2, 4, 6>, <2, 5, 6>, <2, 5, 14>, <2, 6, 6>, <2, 6, 14>, <4, 2, 3>, <4, 3, 3>, <4, 4, 3>, <4, 4, 8>, <4, 5, 3>, <4, 5, 8>, <4, 5, 19>, <4, 6, 3>, <4, 6, 8>, <4, 6, 12>, <4, 6, 14>, <4, 6, 19>, <4, 6, 40>, <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <6, 6, 4>, <6, 6, 10>, <6, 6, 12>, <6, 6, 14>, <8, 2, 3>, <8, 3, 3>, <8, 3, 7>, <8, 4, 3>, <8, 4, 7>, <8, 4, 11>, <8, 5, 3>, <8, 5, 7>, <8, 5, 11>, <8, 5, 16>, <8, 6, 3>, <8, 6, 7>, <8, 6, 11>, <8, 6, 16>, <8, 6, 39>, <10, 4, 5>, <10, 5, 5>, <10, 5, 16>, <10, 6, 5>, <10, 6, 9>, <10, 6, 11>, <10, 6, 16>, <10, 6, 37> ]
> for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, ":  ", a, b; end for;

>> for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, ":  ", a, b;
   ^
User error: bad syntax
> for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, ":  ", a, b; end for;
<0, 2, 3> :   true 1

[Interrupted]
> conj:=[ <0, 2, 3>, <0, 3, 3>, <0, 3, 7>, <0, 4, 3>, <0, 4, 7>, <0, 5, 3>, <0, 5, 7>, <0, 6, 3>, <0, 6, 7>, <0, 6, 13>, <0, 6, 15>, <0, 6, 17>, <2, 4, 6>, <2, 5, 6>, <2, 5, 14>, <2, 6, 6>, <2, 6, 14>, <4, 2, 3>, <4, 3, 3>, <4, 4, 3>, <4, 4, 8>, <4, 5, 3>, <4, 5, 8>, <4, 5, 19>, <4, 6, 3>, <4, 6, 8>, <4, 6, 12>, <4, 6, 14>, <4, 6, 19>, <4, 6, 40>, <6, 3, 4>, <6, 4, 4>, <6, 5, 4>, <6, 6, 4>, <6, 6, 10>, <6, 6, 12>, <6, 6, 14>, <8, 2, 3>, <8, 3, 3>, <8, 3, 7>, <8, 4, 3>, <8, 4, 7>, <8, 4, 11>, <8, 5, 3>, <8, 5, 7>, <8, 5, 11>, <8, 5, 16>, <8, 6, 3>, <8, 6, 7>, <8, 6, 11>, <8, 6, 16>, <8, 6, 39>, <10, 4, 5>, <10, 5, 5>, <10, 5, 16>, <10, 6, 5>, <10, 6, 9>, <10, 6, 11>, <10, 6, 16>, <10, 6, 37> ];
> for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, ":  ", a, b; end for;
<0, 2, 3> :   true 1
<0, 3, 3> :   true 1
<0, 3, 7> :   true 1
<0, 4, 3> :   true 1
<0, 4, 7> :   true 1
<0, 5, 3> :   true 1
<0, 5, 7> :   true 1
<0, 6, 3> :   true 1
<0, 6, 7> :   true 1
<0, 6, 13> :   true 1
<0, 6, 15> :   true 1
<0, 6, 17> :   true 1
<2, 4, 6> :   true 2
<2, 5, 6> :   true 2
<2, 5, 14> :   true 2
<2, 6, 6> :   true 2
<2, 6, 14> :   true 2
<4, 2, 3> :   true 1
<4, 3, 3> :   true 1
<4, 4, 3> :   true 1
<4, 4, 8> :   true 1
<4, 5, 3> :   true 1
<4, 5, 8> :   true 1
<4, 5, 19> :   true 1
<4, 6, 3> :   true 1
<4, 6, 8> :   true 1
<4, 6, 12> :   true 1
<4, 6, 14> :   true 1
<4, 6, 19> :   true 1
<4, 6, 40> :   true 1
<6, 3, 4> :   true 1
<6, 4, 4> :   true 1
<6, 5, 4> :   true 1
<6, 6, 4> :   true 1
<6, 6, 10> :   true 1
<6, 6, 12> :   true 1
<6, 6, 14> :   true 1
<8, 2, 3> :   true 1
<8, 3, 3> :   true 1
<8, 3, 7> :   true 1
<8, 4, 3> :   true 1
<8, 4, 7> :   true 1
<8, 4, 11> :   true 1
<8, 5, 3> :   true 1
<8, 5, 7> :   true 1
<8, 5, 11> :   true 1
<8, 5, 16> :   true 1
<8, 6, 3> :   true 1
<8, 6, 7> :   true 1
<8, 6, 11> :   true 1
<8, 6, 16> :   true 1
<8, 6, 39> :   true 1
<10, 4, 5> :   true 1
<10, 5, 5> :   true 1
<10, 5, 16> :   true 1
<10, 6, 5> :   true 1
<10, 6, 9> :   true 1
<10, 6, 11> :   true 1
<10, 6, 16> :   true 1
<10, 6, 37> :   true 1
> conj:=[ <0, 2, 3>, <4, 2, 3>, <8, 2, 3>, <12, 2, 3>, <0, 3, 3>, <4, 3, 3>, <8, 3, 3>, <12, 3, 3>, <0, 4, 3>, <4, 4, 3>, <8, 4, 3>, <12, 4, 3>, <0, 5, 3>, <4, 5, 3>, <8, 5, 3>, <12, 5, 3>, <0, 6, 3>, <4, 6, 3>, <8, 6, 3>, <12, 6, 3>, <6, 3, 4>, <14, 3, 4>, <6, 4, 4>, <14, 4, 4>, <6, 5, 4>, <14, 5, 4>, <6, 6, 4>, <14, 6, 4>, <10, 4, 5>, <10, 5, 5>, <10, 6, 5>, <2, 4, 6>, <2, 5, 6>, <2, 6, 6>, <0, 3, 7>, <8, 3, 7>, <0, 4, 7>, <8, 4, 7>, <0, 5, 7>, <8, 5, 7>, <0, 6, 7>, <8, 6, 7>, <4, 4, 8>, <14, 4, 8>, <4, 5, 8>, <14, 5, 8>, <4, 6, 8>, <14, 6, 8>, <12, 4, 9>, <12, 5, 9>, <10, 6, 9>, <12, 6, 9>, <6, 6, 10>, <8, 4, 11>, <8, 5, 11>, <8, 6, 11>, <10, 6, 11>, <4, 6, 12>, <6, 6, 12>, <14, 5, 13>, <0, 6, 13>, <14, 6, 13>, <2, 5, 14>, <2, 6, 14>, <4, 6, 14>, <6, 6, 14>, <0, 6, 15>, <8, 5, 16>, <10, 5, 16>, <12, 5, 16>, <8, 6, 16>, <10, 6, 16>, <12, 6, 16>, <0, 6, 17>, <4, 5, 19>, <4, 6, 19>, <12, 6, 35>, <14, 6, 36>, <10, 6, 37>, <8, 6, 39>, <4, 6, 40> ];
> #conj;
81
>  for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, "\t\t", b; end for;
<0, 2, 3> 		 1
<4, 2, 3> 		 1

[Interrupted]
>  for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, "\t\t", a, b; end for;
<0, 2, 3> 		 true 1
<4, 2, 3> 		 true 1
<8, 2, 3> 		 true 1
<12, 2, 3> 		 true 1
<0, 3, 3> 		 true 1
<4, 3, 3> 		 true 1
<8, 3, 3> 		 true 1
<12, 3, 3> 		 true 1
<0, 4, 3> 		 true 1
<4, 4, 3> 		 true 1
<8, 4, 3> 		 true 1
<12, 4, 3> 		 true 1
<0, 5, 3> 		 true 1
<4, 5, 3> 		 true 1
<8, 5, 3> 		 true 1
<12, 5, 3> 		 true 1
<0, 6, 3> 		 true 1
<4, 6, 3> 		 true 1
<8, 6, 3> 		 true 1
<12, 6, 3> 		 true 1
<6, 3, 4> 		 true 1
<14, 3, 4> 		 true 1
<6, 4, 4> 		 true 1
<14, 4, 4> 		 true 1
<6, 5, 4> 		 true 1
<14, 5, 4> 		 true 1
<6, 6, 4> 		 true 1
<14, 6, 4> 		 true 1
<10, 4, 5> 		 true 1
<10, 5, 5> 		 true 1
<10, 6, 5> 		 true 1
<2, 4, 6> 		 true 2
<2, 5, 6> 		 true 2
<2, 6, 6> 		 true 2
<0, 3, 7> 		 true 1
<8, 3, 7> 		 true 1
<0, 4, 7> 		 true 1
<8, 4, 7> 		 true 1
<0, 5, 7> 		 true 1
<8, 5, 7> 		 true 1
<0, 6, 7> 		 true 1
<8, 6, 7> 		 true 1
<4, 4, 8> 		 true 1
<14, 4, 8> 		 true 1
<4, 5, 8> 		 true 1
<14, 5, 8> 		 true 1
<4, 6, 8> 		 true 1
<14, 6, 8> 		 true 1
<12, 4, 9> 		 true 2
<12, 5, 9> 		 true 2
<10, 6, 9> 		 true 1
<12, 6, 9> 		 true 2
<6, 6, 10> 		 true 1
<8, 4, 11> 		 true 1
<8, 5, 11> 		 true 1
<8, 6, 11> 		 true 1
<10, 6, 11> 		 true 1
<4, 6, 12> 		 true 1
<6, 6, 12> 		 true 1
<14, 5, 13> 		 true 1
<0, 6, 13> 		 true 1
<14, 6, 13> 		 true 1
<2, 5, 14> 		 true 2
<2, 6, 14> 		 true 2
<4, 6, 14> 		 true 1
<6, 6, 14> 		 true 1
<0, 6, 15> 		 true 1
<8, 5, 16> 		 true 1
<10, 5, 16> 		 true 1
<12, 5, 16> 		 true 1
<8, 6, 16> 		 true 1
<10, 6, 16> 		 true 1
<12, 6, 16> 		 true 1
<0, 6, 17> 		 true 1
<4, 5, 19> 		 true 1
<4, 6, 19> 		 true 1
<12, 6, 35> 		 true 1
<14, 6, 36> 		 true 1
<10, 6, 37> 		 true 1
<8, 6, 39> 		 true 1
<4, 6, 40> 		 true 1
> conj:=Sort(conj);
>   for c in conj do a,b:=TryConj(c[1],c[2],c[3],slopes); print c, " & ", b, "\\\\"; end for;
<10, 4, 5>  &  1 \\
<10, 5, 5>  &  1 \\
<10, 5, 16>  &  1 \\
<10, 6, 5>  &  1 \\
<10, 6, 9>  &  1 \\
<10, 6, 11>  &  1 \\
<10, 6, 16>  &  1 \\
<10, 6, 37>  &  1 \\
<12, 2, 3>  &  1 \\
<12, 3, 3>  &  1 \\
<12, 4, 3>  &  1 \\
<12, 4, 9>  &  2 \\
<12, 5, 3>  &  1 \\
<12, 5, 9>  &  2 \\
<12, 5, 16>  &  1 \\
<12, 6, 3>  &  1 \\
<12, 6, 9>  &  2 \\
<12, 6, 16>  &  1 \\
<12, 6, 35>  &  1 \\
<14, 3, 4>  &  1 \\
<14, 4, 4>  &  1 \\
<14, 4, 8>  &  1 \\
<14, 5, 4>  &  1 \\
<14, 5, 8>  &  1 \\
<14, 5, 13>  &  1 \\
<14, 6, 4>  &  1 \\
<14, 6, 8>  &  1 \\
<14, 6, 13>  &  1 \\
<14, 6, 36>  &  1 \\
>