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 = ℚ["b"]
GAP: Q[b]
R = B["x"]
GAP: Q[b][x]
Γ = ClosedSubsetOfSpec( "b*x-1", R )
GAP: V_{Q[b][x]}( <...> )
Display( Γ )
V( <b*x-1> )
im = ConstructibleProjection( Γ )
GAP: ( V_{Q[b]}( I1 ) \ V_{Q[b]}( J1_1 ) )
Display( im )
( V( <> ) \ V( <b> ) )
Visualize( im )