i2 : seminormalize(A, Variable=>X)
QQ[X , X , X ]
0 1 2
o2 = {-------------------------------,
2 2 3
(X - X , X X - X , X - X X )
2 0 0 2 1 0 1 2
------------------------------------------------------------------------
QQ[X , X , X ]
0 1 2
map(-------------------------------,A,{X , X }),
2 2 3 1 0
(X - X , X X - X , X - X X )
2 0 0 2 1 0 1 2
------------------------------------------------------------------------
QQ[Yy01000RE1, aRE1, bRE1]
map(--------------------------------------------------------------------
2 2 2 2
(Yy01000RE1*bRE1 - aRE1, Yy01000RE1 bRE1 - bRE1 , Yy01000RE1 - bRE
------------------------------------------------------------------------
QQ[X , X , X ]
0 1 2
--,-------------------------------,{bRE1, aRE1, Yy01000RE1})}
2 2 3
1) (X - X , X X - X , X - X X )
2 0 0 2 1 0 1 2
o2 : List
|