using CapAndHomalgt
CapAndHomalg v1.0.0
Imported OSCAR's components GAP and Singular_jll
Type: ?CapAndHomalg for more information
LoadPackage( "ZariskiFrames" )
ℚ = HomalgFieldOfRationalsInSingular()
GAP: Q
B = ℚ["b"]
GAP: Q[b]
R = B["x,y"]
GAP: Q[b][x,y]
Γ = ClosedSubsetOfSpec( "b*x-1", R )
GAP: V_{Q[b][x,y]}( <...> )
Display( Γ )
V( <b*x-1> )
im = ConstructibleProjection( Γ )
GAP: ( V_{Q[b]}( I1 ) \ V_{Q[b]}( J1_1 ) )
Display( im )
V( <> ) \ V( <b> )
VisualizeInJulia( im )