using CapAndHomalg
CapAndHomalg v1.6.0
Imported OSCAR's components GAP and Singular_jll
Type: ?CapAndHomalg for more information
LoadPackage( "ZariskiFrames" )
ℚ = HomalgFieldOfRationalsInSingular()
GAP: Q
B = ℚ["a,b"]
GAP: Q[a,b]
T = ℚ["x,y"]
GAP: Q[x,y]
ϕ = RingMap( HomalgMatrix( "x,x*y", 2, 1, T ), B, T );
Display( ϕ )
Q[x,y] ^ | [ x, x*y ] | | Q[a,b]
im = ConstructibleImage( ϕ )
GAP: ( V_{Q[a,b]}( I1 ) \ V_{Q[a,b]}( J1_1 ) ) ∪ ( V_{Q[a,b]}( I2 ) \ V_{Q[a,b]}( J2_1 ) )
Display( im )
( V( <> ) \ V( <a> ) ) ∪ ( V( <b,a> ) \ ∅ )
Visualize( im )