SB.NFS |
Syntax |
SB.NFS(Polys:LIST of POLY, F:POLY):POLY SB.NFS(Polys:LIST of POLY, F:POLY, ReprType:INT):POLY SB.NFS(Polys:LIST of POLY, F:POLY, SubAlgRepr:BOOL):POLY or LIST SB.NFS(Polys:LIST of POLY, F:POLY, ReprType:INT, SubAlgRepr:BOOL):POLY or LIST |
Description |
Example |
Use R::=QQ[x,y]; G:=[x-y,x+y]; SB.NFS(G,x^2-y^2); SB.NFS(G,x^2-y^2,TRUE); ------------------------------------------------------- -- output: -- Interpretation: -- x^2-y^2 - (-2xy-2y^2) = x^2+2xy+y^2 = 1*(x+y)^2 is in K[G] -2xy - 2y^2 ------------------------------- [-2xy - 2y^2, [[0, 2, 1]]] ------------------------------- -- Done. ------------------------------- |
Example |
Use R::=QQ[x,y], DegLex; F:=x^4y^2+x^2y^4; G:=[x^2-1,y^2-1]; SB.NFS(G,F); SB.NFS(G,F,TRUE); ------------------------------------------------------- -- output: -- Interpretation: -- F is in K[G] with -- F = 1*G[1]^2G[2] + 1*G[1]G[2]^2 + 1*G[1]^2 + 4*G[1]G[2] + 1*G[2]^2 -- + 3*G[1] + 3*G[2] + 2. 0 ------------------------------- [0, [[2, 1, 1], [1, 2, 1], [2, 0, 1], [1, 1, 4], [0, 2, 1], [1, 0, 3], [0, 1, 3], [0, 0, 2]]] ------------------------------- -- Done. ------------------------------- |
See Also |