"Source: Text/Ring/FldFunRat.text";
"Line: 1029";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunRat.text, line: 1029
// Example: H45E7 ()
print "Example: H45E7";
ei := GetEchoInput();
SetEchoInput(true);
S<u> := PowerSeriesRing(Rationals());
f := [u+u^2, 2+u^2+u^3];
seq := MinimalVectorSequence(f, 2);
seq;
sums := [&+([Q[i]*f[i]: i in [1..#f]]) : Q in seq];
sums;
seq := MinimalVectorSequence(f,3);
#seq eq 2,  seq[1], seq[2];
SetEchoInput(ei);
