isSameMap -- Checks whether two maps to projective space are really the same

Synopsis

• Usage:

  b = isSameMap(L1,L2)

  b = isSameMap(L1,L2, R1)

  b = isSameMap(f1, f2)

• Inputs:
  • L1, a list, The homogeneous forms that define the first map.
  • L2, a list, The homogeneous forms that define the second map.
  • R1, a ring, The ring in which the homogeneous forms should live.
  • f1, a ring map, The first map.
  • f2, a ring map, The second map.
• Outputs:
  • b, a Boolean value, True if the maps are the same, false otherwise.

Description

i1 : R=QQ[x,y,z];

i2 : S=QQ[a,b,c];

i3 : L1={y*z,x*z,x*y};

i4 : L2={x*y*z,x^2*z,x^2*y};

i5 : isSameMap(L1,L2)

o5 = true