Return to ndbf.rr CVS log | Up to [local] / OpenXM / src / asir-contrib / testing / noro |
version 1.12, 2010/06/16 08:32:10 | version 1.13, 2010/06/16 08:57:40 | ||
---|---|---|---|
|
|
||
Cont = cont(CR); CR /= Cont; | Cont = cont(CR); CR /= Cont; | ||
Cont *= dn(Fcont); Den *= nm(Fcont); | Cont *= dn(Fcont); Den *= nm(Fcont); | ||
Gcd = igcd(Den,Cont); | Gcd = igcd(Den,Cont); | ||
return [subst(B,s,-s-1),(Den/Gcd)*Ax,(Cont/Gcd)*CR]; | return [subst(B,s,-s-1),(Cont*CR)/(Den*Ax)]; | ||
} | } | ||
/* | /* |