Arrangement ** Ring -- change the coefficient ring of an arrangement

• Operator: **

• Usage:

  A ** K

• Inputs:
  • A, a hyperplane arrangement,
  • K, a ring,
• Outputs:
  • a hyperplane arrangement, the hyperplane arrangement defined by tensoring the underlying ring with $K$.

i1 : R = ZZ[x,y];

i2 : A = arrangement{x,y,x-y}

o2 = {x, y, x - y}

o2 : Hyperplane Arrangement 

i3 : A' = A ** QQ

o3 = {x, y, x - y}

o3 : Hyperplane Arrangement 

i4 : ring A'

o4 = QQ[x..y]

o4 : PolynomialRing

i5 : assert(R =!= ring A')