ncKernel -- Compute the graph ideal of a ring map between noncommutative rings.

Synopsis

• Usage:

  I = ncKernel f

• Inputs:
  • f, a ring map,
• Optional inputs:
  • DegreeLimit => ..., default value 10
  • Strategy => ..., default value "F4"
• Outputs:
  • I, an ideal,

Description

i1 : A = QQ<|a,b,c|>

o1 = A

o1 : FreeAlgebra

i2 : B = QQ<|x,y|>

o2 = B

o2 : FreeAlgebra

i3 : f = map(B,A,{x*y*x,y*x*y,x*y})

o3 = map (B, A, {x*y*x, y*x*y, x*y})

o3 : RingMap B <-- A

i4 : K = ncKernel f
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o4 = ideal 0

o4 : Ideal of A