AffineVariety ** Ring

Synopsis

• Operator: **

• Usage:

  X ** R

• Inputs:
  • X, an affine variety
  • R, a ring
• Outputs:
  • an affine variety, the tensor product of X with R

Description

i1 : X = Spec(QQ[x,y])

o1 = X

o1 : AffineVariety

i2 : Y = X ** (QQ[t])

o2 = Y

o2 : AffineVariety

i3 : describe Y

o3 = Spec(QQ[x..y, t])