"Source: Text/Geometry/Scheme.text";
"Line: 6277";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Scheme.text, line: 6277
// Example: H119E47 ()
print "Example: H119E47";
ei := GetEchoInput();
SetEchoInput(true);
A<u,v> := AffineSpace(Rationals(),2);
f := u^3 + 3*u^2*v^2 + 3*u^2 + 3*u*v^4 + 6*u*v^2 + v^6 + 3*v^4 + v + 3;
g := u + v^2 + 1;
J := JacobianMatrix([f,g]);
Determinant(J);
assert $1 eq -1;
m := map< A -> A | [f,g] >;
m;
IsAutomorphism(m);
assert $1;
m;
Type(m);
Inverse(m);
_,maut := IsAutomorphism(m);
maut;
Type(maut);
SetEchoInput(ei);
