"Source: Text/Commut/RngDiff.text";
"Line: 1617";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/RngDiff.text, line: 1617
// Example: H121E31 ()
print "Example: H121E31";
ei := GetEchoInput();
SetEchoInput(true);
P := PolynomialRing(Rationals(),1);
f := map<P->P | a:->a*Derivative(a,1)>;
R<T> := DifferentialRing(P, f, Rationals());
L := [T^2+T-1];
I := DifferentialIdeal(L);
I;
Q<X>, toQ := QuotientRing(R,I);
Q;
toQ(T);
Derivative(T^2);
Derivative(X^2);
SetEchoInput(ei);
