|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.2.8.12 normalize
Procedure from librarypoly.lib (see poly_lib).
- Usage:
- normalize(id); id=poly/vector/ideal/module
- Return:
- object of same type
each element is normalized with leading coefficient equal to 1
LIB "poly.lib"; ring r = 0,(x,y,z),ls; poly f = 2x5+3y2+4z3; normalize(f); ==> z3+3/4y2+1/2x5 module m=[9xy,0,3z3],[4z,6y,2x]; normalize(m); ==> _[1]=z3*gen(3)+3xy*gen(1) ==> _[2]=z*gen(1)+3/2y*gen(2)+1/2x*gen(3) ring s = 0,(x,y,z),(c,ls); module m=[9xy,0,3z3],[4z,6y,2x]; normalize(m); ==> _[1]=[xy,0,1/3z3] ==> _[2]=[z,3/2y,1/2x] |