RingFamily _* -- a unary postfix operator, used for indicating pushforward maps

Synopsis

• Operator: _*

• Usage:

  R_*

• Inputs:
  • R, an instance of the type RingFamily
• Outputs:
  • the common parent for the rings in the family R

Description

i1 : 4.

o1 = 4

o1 : RR (of precision 53)

i2 : ring 4.

o2 = RR
       53

o2 : RealField

i3 : parent ring 4.

o3 = RR
       *

o3 : Type

i4 : RR_*

o4 = RR
       *

o4 : Type