using HomalgProject
Singular.jl, based on
SINGULAR /
A Computer Algebra System for Polynomial Computations / Singular.jl: 0.3.1
0< Singular : 4.2.1-4
by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \
FB Mathematik der Universitaet, D-67653 Kaiserslautern \
Version 0.3.0-dev
Using the OSCAR components GAP, Nemo, and Singular
Type: ?HomalgProject 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> ) \ ∅
VisualizeInJulia( im )