unknown terminal "dumb" [was@form advice]$ [was@form advice]$ Magma V2.7-1 Thu Jan 25 2001 21:06:49 on form [Seed = 2800486908] Type ? for help. Type -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 "01-25-01.m"; Loading "01-25-01.m" In file "01-25-01.m", line 1, column 13: >> K := Parent(epsilon); ^ User error: Identifier 'epsilon' has not been declared or assigned In file "01-25-01.m", line 2, column 34: >> Q := PolynomialRing(K,4); ^ User error: Identifier 'K' has not been declared or assigned In file "01-25-01.m", line 4, column 14: >> thugp := homP | P.1>; ^ User error: Identifier 'K' has not been declared or assigned In file "01-25-01.m", line 5, column 7: >> T := u1 + u2*K.1 + u3*K.1^2 + u4*K.1^3; ^ User error: Identifier 'u1' has not been declared or assigned In file "01-25-01.m", line 6, column 7: >> ps := epsilon*T^2; ^ User error: Identifier 'epsilon' has not been declared or assigned In file "01-25-01.m", line 7, column 17: >> R := Monomials(ps); ^ User error: Identifier 'ps' has not been declared or assigned In file "01-25-01.m", line 8, column 20: >> S := Coefficients(ps); ^ User error: Identifier 'ps' has not been declared or assigned In file "01-25-01.m", line 9, column 22: >> A := &+[Coefficient(thugp(S[i]),2) * R[i] : i in [1 .. #R]]; ^ User error: Identifier 'thugp' has not been declared or assigned In file "01-25-01.m", line 10, column 22: >> B := &+[Coefficient(thugp(S[i]),2) * R[i] : i in [1 .. #R]]; ^ User error: Identifier 'thugp' has not been declared or assigned > load "01-25-01.m"; Loading "01-25-01.m" > thugp(K.1); $.1 > thugp(K.2); >> thugp(K.2); ^ Runtime error in '.': Value for name index (2) should be in the range [1..1] > Ngens(K); >> Ngens(K); ^ Runtime error in 'Ngens': Bad argument types Argument types given: FldNum > S[1]; $.1 > thugp(S[1]); $.1 > thugp(S[1]); $.1 > K := NumberField(x^4+x+1); epsilon := K.1^2+1; K := Parent(epsilon); Q := PolynomialRing(K,4); P := PolynomialRing(Integers()); thugp := homP | P.1>; T := u1 + u2*K.1 + u3*K.1^2 + u4*K.1^3; ps := epsilon*T^2; R := Monomials(ps); S := Coefficients(ps); A := &+[Coefficient(thugp(S[i]),2) * R[i] : i in [1 .. #R]]; B := &+[Coefficient(thugp(S[i]),2) * R[i] : i in [1 .. #R]]; > > > > > > > > > > > > > > > > thugp(S[1]); $.1^2 + 1 > thugp(S[1]); $.1^2 + 1 > > > > > load "01-25-01.m"; Loading "01-25-01.m" $.1^2 + 1 >