| |
| | [No title] (Site not responding. Last check: 2007-11-03) |
 | | GeneratingSet := proc(f,x,B) local n,R,V,i,c,ansatz,vars,res,g,E; n := degree(f,x); ansatz := add(c[i]*x^i,i=0..n-1); vars := {seq(c[i],i=0..n-1)}; if n |
 | | E := subs(x=R, ansatz) - evala(Rem(ansatz,g,x)); E := evala({coeffs(evala(Expand(E)),{x,R})}); # Solve the equations. |
 | | E := SolveTools:-Linear(E,vars); # If subfield=B then next: if degree(subs(E,ansatz),x)=0 then next fi; res := res, E od; [res], vars, ansatz end: # Factor f/(x-R) over the field K. # This is a preliminary implementation, there are tricks to compute # this much faster. |
| www.math.fsu.edu /~hoeij/papers/subfields/Subfields (315 words) |
|