"Source: Text/Geometry/Scheme.text";
"Line: 5957";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Scheme.text, line: 5957
// Example: H122E41 ()
print "Example: H122E41";
ei := GetEchoInput();
SetEchoInput(true);
P1<s,t> := ProjectiveSpace(Rationals(),1);
P3<w,x,y,z> := ProjectiveSpace(Rationals(),3);
f := map< P1 -> P3 | [s^4,s^3*t,s*t^3,t^4] >;
Image(f);
IsNonsingular(Image(f));
assert $1;
f(p) in Image(f) where p is P1 ! [2,1];
SetEchoInput(ei);
