OpenXM/src/k097/debug/loadpackage.kk - diff

Return to loadpackage.kk CVS log

Up to [local] / OpenXM / src / k097 / debug

version 1.1.1.1, 1999/10/08 02:12:16

version 1.2, 2001/01/08 05:26:51

Line 22 def diff0(f,x) {

local dx,ans;

if (!IsPolynomial(f)) return(Poly("0"));

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);

}