Macaulay2 » Documentation
Packages » Schubert2 :: extensionAlgebra
next | previous | forward | backward | up | index | toc

extensionAlgebra -- extend a graded algebra by a graded module

Synopsis

Description

i1 : A = QQ[x]

o1 = A

o1 : PolynomialRing
i2 : B = QQ[y]

o2 = B

o2 : PolynomialRing
i3 : c = 2_B

o3 = 2

o3 : B
i4 : f = map(B,A,gens B)

o4 = map (B, A, {y})

o4 : RingMap B <-- A
i5 : extensionAlgebra(f,c)

     QQ[E , x]
         0
o5 = ---------
       2
      E  - 2E
       0     0

o5 : QuotientRing
i6 : oo.PullBack

             QQ[E , x]
                 0
o6 = map (B, ---------, {2, y})
               2
              E  - 2E
               0     0

                   QQ[E , x]
                       0
o6 : RingMap B <-- ---------
                     2
                    E  - 2E
                     0     0

Ways to use extensionAlgebra :

For the programmer

The object extensionAlgebra is a method function with options.