> %P function P(A) return (1-t^A[6])/Denom(A[1..5]); end function; function PI(A) // Initial term P_I, only for CY 3folds n1 := #[i : i in A | i eq 1]; n2 := #[i : i in A | i eq 2]; return (1 + (n1-4)*t + (n2+Binomial(n1-3,2))*t^2 + (n1-4)*t^3 + t^4)/(1-t)^4; end function; function Bask(A); B := []; C := []; Relevant := [r : r in [2..A[5]] | r eq GCD([Integers() | A[i] : i in [1..5] | A[i] mod r eq 0])]; for r in Relevant do Amod := [a mod r : a in A ]; case [#[a : a in Amod[1..5] | a eq 0],#[a : a in Amod[6..6] | a eq 0]]: // when 0:; // no sing, do nothing when 4:; //error when 5:; //error when [1,0]: Append(~B, Insert(Exclude(Exclude(Amod[1..5],Amod[6]),0),1,r)); // end this case: If ai divides d then Pi not on X when [2,1]: // calculate the number S^0(d) in PP(ai,aj) Num := Floor(A[6]/LCM([a : a in A[1..5] | a mod r eq 0])); for i in [1..Num] do Append(~B, Insert(Exclude(Exclude(Amod[1..5],0),0),1,r)); end for; // end if; If r does not divides d then Lij is line of 1/r when [2,0]: Append(~C, Insert(Exclude(Exclude(Exclude(Amod[1..5],0),0),Amod[6]),1,r)); when [3,1]:; // necessarily r divides d and curve of 1/r Append(~C, Insert(Exclude(Exclude(Exclude(Amod[1..5],0),0),0),1,r)); end case; end for; return B, C; end function; function PointTerms(B) return &+[K | Qorb(b[1],b[2..4],0) : b in B]; end function; function X(A) return P(A)-PI(A)-PointTerms(Bask(A)); end function; function PC(A) // The curve terms P_C B,C := Bask(A); YY := PartialFractionDecomposition(X(A)/t^3*(1-t)^4); return [t^3/(1-t)^4*&+[K|y[3]/y[1]^y[2] : y in YY | IsDivisibleBy(1-t^r,y[1])] where r is c[1] : c in C]; end function; load KSlist; #AAKS; AAK := [ ; a := AAKS[1]; a; [[a[i] : i in [2,3,4,5,6,1] where a is AAKS[6]]; [[a[i] : i in [2,3,4,5,6,1]] where a is AAKS[6]]; AAKS[6]; BBKS := [[a[i] : i in [2,3,4,5,6,1]] for a in AAKS[6]]; BBKS := [[a[i] : i in [2,3,4,5,6,1]] : a in AAKS[6]]; BBKS := [[a[i] : i in [2,3,4,5,6,1]] : a in AAKS]; #BBKS; BBKS[1..20]; AA := [ a in BBKS | [18,1,3,14] in Bask(a) ]; a := BBKS[1]; [18,1,3,4] in Bask(a); I := [i in [1..10000] | [18,1,3,4] in Bask(BBKS[i])]; I := [ i : i in [1..10000] | [18,1,3,4] in Bask(BBKS[i])]; #I; Bask(BBKS[99]); I := [ i : i in [1..100000] | [18,1,3,4] in Bask(BBKS[i])]; #I; I := [ i : i in [1..5000] | [18,1,2,9] in Bask(BBKS[i])]; #I; Basket(BBKS[1000..1005]); Bask(BBKS[1000..1005]); BBKS[1000..1005]); BBKS[1000..1005]; Bask(BBKS[1000]); Bask(BBKS[1001]); Bask(BBKS[1002]); Bask(BBKS[1003]); PC(BBKS[1003]); n:=1000; n:=n+1; A := BBKS[n]; A; Bask(A); n:=n+1; A := BBKS[n]; A; Bask(A); n:=n+1; A := BBKS[n]; A; Bask(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); SetLogFile("MagLogFile") ; > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 3, 5, 11, 11, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 5, 3, 1, 1 ], [ 11, 3, 3, 5 ], [ 11, 3, 3, 5 ], [ 11, 3, 3, 5 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 4, 5, 11, 11, 33 ] [ [ 4, 2, 3, 3 ], [ 5, 2, 4, 1, 1 ], [ 11, 2, 4, 5 ], [ 11, 2, 4, 5 ], [ 11, 2, 4, 5 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 6, 11, 11, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 6, 2, 5, 5 ], [ 11, 2, 3, 6 ], [ 11, 2, 3, 6 ], [ 11, 2, 3, 6 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 6, 11, 11, 33 ] [ [ 4, 2, 3, 3 ], [ 6, 1, 4, 5, 5 ], [ 11, 1, 4, 6 ], [ 11, 1, 4, 6 ], [ 11, 1, 4, 6 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 7, 11, 11, 33 ] [ [ 7, 1, 3, 4, 4 ], [ 11, 1, 3, 7 ], [ 11, 1, 3, 7 ], [ 11, 1, 3, 7 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 8, 11, 11, 33 ] [ [ 8, 2, 3, 3 ], [ 11, 1, 2, 8 ], [ 11, 1, 2, 8 ], [ 11, 1, 2, 8 ] ] [ [ 2, 1, 1 ] ] [ 2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 5, 6, 7, 12, 33 ] [ [ 5, 1, 2, 2 ], [ 7, 3, 6, 5 ], [ 12, 3, 5, 6, 7 ] ] [ [ 3, 2, 1 ], [ 6, 5, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 7, 8, 12, 33 ] [ [ 5, 1, 2, 2 ], [ 7, 1, 1, 5 ], [ 8, 5, 7, 4 ], [ 12, 1, 5, 7, 8 ] ] [ [ 4, 1, 3 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 4, 5, 9, 12, 33 ] [ [ 5, 4, 4, 2 ], [ 9, 3, 4, 5, 3 ], [ 12, 3, 4, 5 ] ] [ [ 3, 1, 2 ], [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 6, 9, 12, 33 ] [ [ 5, 1, 1, 4, 2 ], [ 9, 1, 5, 3 ], [ 12, 1, 5, 6 ] ] [ [ 3, 1, 2 ], [ 6, 1, 5 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 7, 9, 12, 33 ] [ [ 7, 2, 3, 2 ], [ 9, 2, 3, 7, 3 ], [ 12, 2, 3, 7 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 7, 9, 12, 33 ] [ [ 7, 1, 4, 2 ], [ 9, 1, 4, 7, 3 ], [ 12, 1, 4, 7 ] ] [ [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 8, 9, 12, 33 ] [ [ 8, 3, 1, 4 ], [ 9, 1, 3, 8, 3 ], [ 12, 1, 3, 8 ] ] [ [ 3, 1, 2 ], [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 7, 10, 12, 33 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 7, 1, 3, 3 ], [ 10, 1, 7, 2 ], [ 12, 1, 3, 7, 10 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 5, 11, 12, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 5, 2, 1, 2 ], [ 12, 2, 3, 5, 11 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 5, 11, 12, 33 ] [ [ 5, 1, 4, 1, 2 ], [ 12, 1, 4, 5, 11 ] ] [ [ 4, 1, 3 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 6, 11, 12, 33 ] [ [ 12, 1, 3, 6, 11 ] ] [ [ 3, 1, 2 ], [ 6, 1, 5 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 7, 11, 12, 33 ] [ [ 7, 1, 2, 4 ], [ 12, 1, 2, 7, 11 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 8, 11, 12, 33 ] [ [ 8, 1, 3, 4 ], [ 12, 1, 1, 8, 11 ] ] [ [ 4, 1, 3 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 4, 4, 5, 7, 13, 33 ] [ [ 5, 4, 4, 2 ], [ 7, 4, 4, 6 ], [ 13, 4, 4, 5 ] ] [ [ 4, 3, 1 ] ] [ (3*t^7 + 6*t^6 + 5*t^5 + 6*t^4 + 3*t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 5, 5, 7, 13, 33 ] [ [ 7, 3, 5, 6 ], [ 13, 3, 5, 5 ] ] [ [ 5, 2, 3 ] ] [ (7*t^9 + 2*t^8 + 10*t^7 + 8*t^6 + 10*t^5 + 2*t^4 + 7*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 4, 6, 7, 13, 33 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 4, 3, 2, 3 ], [ 6, 4, 1, 1 ], [ 7, 3, 4, 6, 6 ], [ 13, 3, 4, 6 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 5, 6, 7, 13, 33 ] [ [ 5, 2, 1, 2 ], [ 6, 2, 5, 1, 1 ], [ 7, 2, 6, 6 ], [ 13, 2, 5, 6 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 7, 7, 13, 33 ] [ [ 5, 1, 2, 2 ], [ 13, 1, 5, 7 ] ] [ [ 7, 1, 6 ] ] [ (3*t^13 + 2*t^12 + 5*t^11 + 4*t^10 + 7*t^9 + 6*t^8 + 7*t^7 + 4*t^6 + 5*t^5 + 2*t^4 + 3*t^3)/(t^16 - 2*t^15 + t^14 - 2*t^9 + 4*t^8 - 2*t^7 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 4, 5, 8, 13, 33 ] [ [ 5, 4, 3, 3 ], [ 8, 3, 4, 5, 5 ], [ 13, 3, 4, 5, 8 ] ] [ [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 6, 8, 13, 33 ] [ [ 5, 1, 1, 3 ], [ 6, 1, 5, 2, 1 ], [ 8, 5, 6, 5 ], [ 13, 1, 5, 6, 8 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 7, 8, 13, 33 ] [ [ 7, 2, 3, 1, 6 ], [ 8, 2, 3, 7, 5 ], [ 13, 2, 3, 8 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 7, 8, 13, 33 ] [ [ 7, 1, 4, 1, 6 ], [ 8, 4, 7, 5 ], [ 13, 1, 4, 8 ] ] [ [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 4, 5, 9, 13, 33 ] [ [ 4, 2, 1, 1 ], [ 5, 2, 4, 4 ], [ 9, 2, 4, 5, 4 ], [ 13, 2, 4, 5, 9 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 6, 9, 13, 33 ] [ [ 3, 1, 1, 1 ], [ 4, 2, 1, 1 ], [ 6, 1, 4, 1 ], [ 9, 1, 4, 4 ], [ 13, 1, 4, 6, 9 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 7, 9, 13, 33 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 7, 1, 3, 2, 6 ], [ 9, 1, 3, 7, 4 ], [ 13, 1, 3, 9 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 3, 4, 10, 13, 33 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 4, 3, 3, 2 ], [ 10, 3, 4, 3 ], [ 13, 3, 3, 4, 10 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 5, 10, 13, 33 ] [ [ 10, 2, 5, 3 ], [ 13, 2, 3, 5, 10 ] ] [ [ 2, 1, 1 ], [ 5, 2, 3 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 5, 10, 13, 33 ] [ [ 4, 1, 2, 1 ], [ 10, 1, 4, 5 ], [ 13, 1, 4, 5, 10 ] ] [ [ 2, 1, 1 ], [ 5, 1, 4 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 6, 10, 13, 33 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 6, 1, 4, 1 ], [ 10, 1, 6, 3 ], [ 13, 1, 3, 6, 10 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 7, 10, 13, 33 ] [ [ 7, 1, 2, 3, 6 ], [ 10, 1, 2, 7 ], [ 13, 1, 2, 10 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 4, 11, 13, 33 ] [ [ 4, 2, 3, 3 ], [ 13, 2, 3, 4, 11 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 5, 11, 13, 33 ] [ [ 5, 2, 2, 1 ], [ 13, 2, 2, 5, 11 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 5, 11, 13, 33 ] [ [ 5, 1, 1, 3 ], [ 13, 1, 3, 5, 11 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 6, 11, 13, 33 ] [ [ 6, 1, 2, 5, 1 ], [ 13, 1, 2, 6, 11 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 7, 11, 13, 33 ] [ [ 7, 1, 1, 4, 6 ], [ 13, 1, 1, 11 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 5, 5, 6, 14, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 6, 5, 5, 2 ], [ 14, 3, 5, 6 ] ] [ [ 2, 1, 1 ], [ 5, 1, 4 ] ] [ 2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (4*t^9 + 2*t^8 + 6*t^7 + 5*t^6 + 6*t^5 + 2*t^4 + 4*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 4, 5, 7, 14, 33 ] [ [ 4, 3, 3, 2 ], [ 5, 4, 2, 4 ], [ 14, 3, 4, 7 ] ] [ [ 2, 1, 1 ], [ 7, 3, 4 ] ] [ 0, (2*t^13 + t^12 + 2*t^11 + 3*t^10 + 3*t^9 + 4*t^8 + 3*t^7 + 3*t^6 + 2*t^5 + t^4 + 2*t^3)/(t^16 - 2*t^15 + t^14 - 2*t^9 + 4*t^8 - 2*t^7 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 6, 7, 14, 33 ] [ [ 5, 1, 1, 2, 4 ], [ 6, 1, 5, 1, 2 ], [ 14, 1, 6, 7 ] ] [ [ 2, 1, 1 ], [ 7, 1, 6 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 3, 5, 8, 14, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 5, 3, 3, 4 ], [ 8, 3, 3, 5, 6 ], [ 14, 3, 3, 8 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 5, 5, 8, 14, 33 ] [ [ 8, 5, 5, 6 ], [ 14, 1, 5, 8 ] ] [ [ 2, 1, 1 ], [ 5, 1, 4 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (4*t^9 + 3*t^8 + 7*t^7 + 6*t^6 + 7*t^5 + 3*t^4 + 4*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 5, 9, 14, 33 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 5, 2, 4, 4 ], [ 9, 2, 3, 5, 5 ], [ 14, 2, 3, 9 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 4, 5, 9, 14, 33 ] [ [ 4, 1, 1, 2 ], [ 5, 1, 4, 4, 4 ], [ 9, 1, 4, 5, 5 ], [ 14, 1, 4, 9 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 5, 10, 14, 33 ] [ [ 10, 1, 5, 4 ], [ 14, 1, 3, 10 ] ] [ [ 2, 1, 1 ], [ 5, 1, 4 ] ] [ t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (2*t^9 + 2*t^8 + 3*t^7 + 4*t^6 + 3*t^5 + 2*t^4 + 2*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=1; > n:=1; > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 1, 2, 6 ] [] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 2, 2, 7 ] [] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 1, 3, 7 ] [ [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 2, 2, 8 ] [] [ [ 2, 1, 1 ] ] [ -4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 2, 3, 8 ] [ [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 1, 4, 8 ] [] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 2, 3, 9 ] [] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 3, 3, 9 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 2, 4, 9 ] [ [ 4, 1, 1, 2 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 2, 3, 10 ] [ [ 3, 2, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -5*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 3, 3, 10 ] [] [ [ 3, 1, 2 ] ] [ (2*t^5 + t^4 + 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 2, 4, 10 ] [ [ 4, 1, 1, 2 ] ] [ [ 2, 1, 1 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 3, 4, 10 ] [ [ 3, 1, 1, 1 ], [ 4, 1, 1, 1, 3 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 2, 5, 10 ] [] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 3, 11 ] [] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-t^5 - 2*t^4 - t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 3, 4, 11 ] [ [ 3, 1, 1, 1 ], [ 4, 1, 1, 2 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 2, 5, 11 ] [ [ 5, 1, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 3, 5, 11 ] [ [ 3, 1, 1, 1 ], [ 5, 1, 1, 3 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 2, 3, 3, 12 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -6*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 3, 12 ] [] [ [ 3, 1, 2 ] ] [ (2*t^5 - 2*t^4 + 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 4, 12 ] [] [ [ 2, 1, 1 ] ] [ -3*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 3, 4, 12 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 4, 4, 12 ] [ [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 2, 5, 12 ] [ [ 5, 1, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -6*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 3, 5, 12 ] [ [ 5, 1, 1, 3 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 4, 5, 12 ] [ [ 5, 1, 1, 1, 4 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 2, 6, 12 ] [] [ [ 2, 1, 1 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 3, 6, 12 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 4, 13 ] [ [ 4, 2, 3, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (2*t^5 + t^4 + 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 4, 4, 13 ] [ [ 3, 1, 1, 1 ] ] [ [ 4, 1, 3 ] ] [ (2*t^7 + 4*t^6 + 3*t^5 + 4*t^4 + 2*t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 5, 13 ] [ [ 3, 2, 2, 2 ], [ 5, 1, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 3, 5, 13 ] [ [ 5, 1, 1, 3 ] ] [ [ 3, 1, 2 ] ] [ (3*t^5 + 2*t^4 + 3*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 4, 5, 13 ] [ [ 4, 1, 2, 1 ], [ 5, 1, 1, 2, 4 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 3, 6, 13 ] [ [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ 0, t^3/(t^6 - 3*t^5 + 3*t^4 - 2*t^3 + 3*t^2 - 3*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 4, 6, 13 ] [ [ 4, 1, 1, 2 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] [ t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 3, 4, 14 ] [ [ 4, 2, 3, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-2*t^5 - 3*t^4 - 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 4, 4, 14 ] [ [ 3, 1, 1, 1 ] ] [ [ 2, 1, 1 ], [ 4, 1, 3 ] ] [ -7/4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-t^7 + t^6 - 3*t^5 + t^4 - t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 2, 3, 5, 14 ] [ [ 3, 2, 2, 2 ], [ 5, 2, 2, 2, 3 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 5, 14 ] [ [ 5, 1, 2, 3, 3 ] ] [ [ 3, 1, 2 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 4, 5, 14 ] [ [ 4, 1, 2, 1 ], [ 5, 1, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -3*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 4, 5, 14 ] [ [ 3, 1, 1, 1 ], [ 4, 1, 1, 3, 1 ], [ 5, 1, 1, 3 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 6, 14 ] [ [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), -t^3/(t^6 - 3*t^5 + 3*t^4 - 2*t^3 + 3*t^2 - 3*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 4, 6, 14 ] [ [ 4, 1, 1, 2 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 2, 7, 14 ] [] [ [ 2, 1, 1 ] ] [ -7*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 3, 7, 14 ] [ [ 3, 1, 1, 1 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 4, 7, 14 ] [ [ 4, 1, 1, 1, 3 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 3, 3, 4, 15 ] [ [ 4, 2, 3, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), -5*t^4/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 3, 4, 4, 15 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ] ] [ [ 4, 1, 3 ] ] [ (-t^7 - 2*t^6 - 3*t^5 - 2*t^4 - t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 3, 5, 15 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 3, 3, 5, 15 ] [] [ [ 3, 1, 2 ] ] [ (5*t^5 + 5*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 4, 5, 15 ] [ [ 4, 1, 2, 1 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 5, 5, 15 ] [ [ 5, 1, 2, 2 ], [ 5, 1, 2, 2 ], [ 5, 1, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 5, 5, 15 ] [ [ 5, 1, 1, 3 ], [ 5, 1, 1, 3 ], [ 5, 1, 1, 3 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 6, 15 ] [ [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ 0, (t^5 - t^4 + t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 4, 6, 15 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 4, 1, 1, 2 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] [ t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 5, 6, 15 ] [ [ 6, 1, 1, 2, 5 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 7, 15 ] [ [ 7, 2, 2, 3 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 3, 7, 15 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 7, 1, 3, 3 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 4, 7, 15 ] [ [ 4, 1, 1, 2 ], [ 7, 1, 2, 4 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 5, 7, 15 ] [ [ 7, 1, 1, 5 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 3, 4, 4, 16 ] [ [ 4, 2, 3, 3 ], [ 4, 2, 3, 3 ], [ 4, 2, 3, 3 ], [ 4, 2, 3, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (2*t^5 + t^4 + 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 4, 4, 4, 16 ] [ [ 3, 1, 1, 1 ] ] [ [ 4, 1, 3 ] ] [ (2*t^7 + 4*t^6 + 4*t^4 + 2*t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 4, 5, 16 ] [ [ 3, 2, 2, 2 ], [ 5, 2, 2, 3, 4 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 3, 4, 5, 16 ] [ [ 5, 3, 3, 4 ] ] [ [ 3, 1, 2 ] ] [ (3*t^5 + 2*t^4 + 3*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 4, 4, 5, 16 ] [ [ 4, 1, 2, 1 ], [ 4, 1, 2, 1 ], [ 4, 1, 2, 1 ], [ 4, 1, 2, 1 ], [ 5, 2, 4, 4 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 5, 5, 16 ] [ [ 3, 2, 2, 2 ] ] [ [ 5, 2, 3 ] ] [ (t^9 + t^8 + 3*t^7 + t^6 + 3*t^5 + t^4 + t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 4, 5, 5, 16 ] [] [ [ 5, 1, 4 ] ] [ (2*t^9 + 4*t^8 + 6*t^7 + 5*t^6 + 6*t^5 + 4*t^4 + 2*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 4, 6, 16 ] [ [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), t^3/(t^6 - 3*t^5 + 3*t^4 - 2*t^3 + 3*t^2 - 3*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 4, 4, 6, 16 ] [ [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] [ 2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 5, 6, 16 ] [ [ 5, 2, 2, 1 ], [ 6, 1, 2, 2, 5 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 5, 6, 16 ] [ [ 5, 1, 3, 1 ], [ 6, 1, 1, 3, 5 ] ] [ [ 3, 1, 2 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 2, 3, 7, 16 ] [ [ 3, 2, 2, 2 ], [ 7, 2, 2, 3 ] ] [ [ 2, 1, 1 ] ] [ -8*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 7, 16 ] [ [ 7, 1, 3, 3 ] ] [ [ 3, 2, 1 ] ] [ (2*t^5 + t^4 + 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 4, 7, 16 ] [ [ 7, 1, 2, 4 ] ] [ [ 2, 1, 1 ] ] [ -4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 4, 7, 16 ] [ [ 3, 1, 1, 1 ], [ 7, 1, 1, 3, 4 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 5, 7, 16 ] [ [ 5, 1, 2, 2 ], [ 7, 1, 1, 5 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 3, 8, 16 ] [ [ 3, 2, 2, 2 ] ] [ [ 2, 1, 1 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 3, 8, 16 ] [] [ [ 3, 1, 2 ] ] [ (4*t^5 + 3*t^4 + 4*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 4, 8, 16 ] [ [ 4, 1, 1, 2 ], [ 4, 1, 1, 2 ] ] [ [ 2, 1, 1 ] ] [ 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 1, 5, 8, 16 ] [ [ 5, 1, 1, 3 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 3, 4, 5, 17 ] [ [ 4, 2, 3, 3 ], [ 5, 3, 3, 4 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-2*t^5 - 3*t^4 - 2*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 4, 4, 5, 17 ] [ [ 3, 1, 1, 1 ], [ 5, 1, 3, 4, 4 ] ] [ [ 4, 3, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 5, 5, 17 ] [ [ 3, 2, 2, 2 ] ] [ [ 2, 1, 1 ], [ 5, 2, 3 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-5*t^9 - 2*t^8 - 6*t^7 - 8*t^6 - 6*t^5 - 2*t^4 - 5*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 4, 5, 5, 17 ] [ [ 4, 2, 1, 1 ] ] [ [ 2, 1, 1 ], [ 5, 1, 4 ] ] [ 0, (-t^9 + t^8 - t^6 + t^4 - t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 5, 6, 17 ] [ [ 5, 1, 3, 1 ], [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ 0, -t^3/(t^6 - 3*t^5 + 3*t^4 - 2*t^3 + 3*t^2 - 3*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 4, 5, 6, 17 ] [ [ 4, 1, 1, 2 ], [ 5, 1, 1, 4, 1 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 3, 7, 17 ] [ [ 7, 2, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-3*t^5 - 4*t^4 - 3*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 4, 7, 17 ] [ [ 3, 1, 1, 1 ], [ 4, 2, 3, 3 ], [ 7, 1, 2, 4 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 2, 5, 7, 17 ] [ [ 5, 1, 2, 2 ], [ 7, 1, 2, 2, 5 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 5, 7, 17 ] [ [ 3, 1, 1, 1 ], [ 5, 1, 1, 3 ], [ 7, 1, 1, 5 ] ] [] [] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 3, 8, 17 ] [ [ 8, 2, 3, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ 2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-t^5 - 2*t^4 - t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 3, 4, 8, 17 ] [ [ 3, 1, 1, 1 ], [ 8, 1, 3, 4 ] ] [ [ 4, 1, 3 ] ] [ (2*t^7 + 3*t^6 + 3*t^5 + 3*t^4 + 2*t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 2, 5, 8, 17 ] [ [ 5, 1, 1, 3 ], [ 8, 1, 2, 5 ] ] [ [ 2, 1, 1 ] ] [ -t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 3, 3, 3, 4, 5, 18 ] [ [ 4, 3, 3, 3, 1 ], [ 5, 3, 3, 4 ] ] [ [ 3, 1, 2 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 4, 4, 5, 18 ] [ [ 5, 2, 4, 4 ] ] [ [ 2, 1, 1 ], [ 4, 3, 1 ] ] [ -9/4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-2*t^7 - 5*t^5 - 2*t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 3, 5, 5, 18 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ] ] [ [ 5, 2, 3 ] ] [ (4*t^9 + t^8 + 6*t^7 + 4*t^6 + 6*t^5 + t^4 + 4*t^3)/(t^12 - 2*t^11 + t^10 - 2*t^7 + 4*t^6 - 2*t^5 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 4, 5, 5, 18 ] [ [ 4, 1, 3, 1, 1 ] ] [ [ 5, 1, 4 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 3, 3, 4, 6, 18 ] [ [ 4, 3, 3, 2 ] ] [ [ 2, 1, 1 ], [ 3, 2, 1 ] ] [ -2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), -3*t^4/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 4, 4, 6, 18 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ] ] [ [ 2, 1, 1 ], [ 4, 1, 3 ] ] [ -3/4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (t^6 - t^5 + t^4)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 5, 6, 18 ] [ [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 3, 2, 2, 2 ], [ 5, 2, 2, 1 ] ] [ [ 2, 1, 1 ] ] [ -3*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 3, 5, 6, 18 ] [ [ 5, 1, 3, 1 ] ] [ [ 3, 1, 2 ] ] [ (3*t^5 + 3*t^3)/(t^8 - 2*t^7 + t^6 - 2*t^5 + 4*t^4 - 2*t^3 + t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 4, 5, 6, 18 ] [ [ 4, 1, 1, 2 ], [ 5, 1, 2, 4, 1 ] ] [ [ 2, 1, 1 ] ] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 3, 6, 6, 18 ] [ [ 6, 1, 2, 3 ], [ 6, 1, 2, 3 ], [ 6, 1, 2, 3 ] ] [ [ 2, 1, 1 ], [ 3, 1, 2 ] ] [ 0, 0 ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 1, 4, 6, 6, 18 ] [ [ 4, 1, 1, 2 ], [ 6, 1, 1, 4 ], [ 6, 1, 1, 4 ], [ 6, 1, 1, 4 ] ] [ [ 2, 1, 1 ] ] [ 2*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 2, 2, 3, 4, 7, 18 ] [ [ 4, 2, 3, 3 ], [ 7, 2, 2, 3 ] ] [ [ 2, 1, 1 ] ] [ -5*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1) ] > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 3, 3, 4, 7, 18 ] [ [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 3, 1, 1, 1 ], [ 4, 1, 3, 3, 3 ], [ 7, 1, 3, 3 ] ] [] Error: Canonical weight not compatible > n:=n+1; A := BBKS[n]; A; Bask(A); PC(A); [ 1, 2, 4, 4, 7, 18 ] [ [ 7, 1, 2, 4 ] ] [ [ 2, 1, 1 ], [ 4, 1, 3 ] ] [ -9/4*t^3/(t^6 - 2*t^5 - t^4 + 4*t^3 - t^2 - 2*t + 1), (-t^7 + 2*t^6 - 3*t^5 + 2*t^4 - t^3)/(t^10 - 2*t^9 + t^8 - 2*t^6 + 4*t^5 - 2*t^4 + t^2 - 2*t + 1) ] Total time: 310.449 seconds, Total memory usage: 58.64MB