![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to loadpackage.kk CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / debug|
Return to loadpackage.kk CVS log | Up to [local] / OpenXM / src / k097 / debug |
| version 1.1, 1999/10/08 02:12:16 | version 1.2, 2001/01/08 05:26:51 | ||
|---|---|---|---|
|
|
||
| local dx,ans; | local dx,ans; | ||
| if (!IsPolynomial(f)) return(Poly("0")); | if (!IsPolynomial(f)) return(Poly("0")); | ||
| if (f == Poly("0")) return(f); | if (f == Poly("0")) return(f); | ||
| dx = PolyR(AddString(["D",ToString(x)]),Ringp(f)); | dx = PolyR(AddString(["D",ToString(x)]),GetRing(f)); | ||
| ans = Replace(dx*f,[[dx,Poly("0")],[h,PolyR("1",Ringp(f))]]); | ans = Replace(dx*f,[[dx,Poly("0")],[h,PolyR("1",GetRing(f))]]); | ||
| return(ans); | return(ans); | ||
| } | } | ||