"Source: Text/Commut/RngDiff.text";
"Line: 654";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/RngDiff.text, line: 654
// Example: H118E10 ()
print "Example: H118E10";
ei := GetEchoInput();
SetEchoInput(true);
S<t>:=DifferentialLaurentSeriesRing(Rationals());
Derivative(t);
IsDifferentialLaurentSeriesRing(S);
assert $1;
RelativePrecision(S);
assert $1 eq 20;
RelativePrecision(UnderlyingRing(S));
V<w>:=DifferentialLaurentSeriesRing(Rationals():Precision:=30);
RelativePrecision(V);
assert $1 eq 30;
RelativePrecision(V) eq RelativePrecision(UnderlyingRing(V));
assert $1;
SetEchoInput(ei);
