Parabolic == Parabolic -- equality of parabolics

Synopsis

• Operator: ==

• Usage:

  P1 == P2

• Inputs:
  • P1, an instance of the type Parabolic,
  • P2, an instance of the type Parabolic,
• Outputs:
  • a Boolean value, true if the underlying sets are equal

Description

i1 : R=rootSystemA(3)

o1 = RootSystem{...8...}

o1 : RootSystem

i2 : P1=parabolic(R,set{1,2})

o2 = set {1, 2}

o2 : Parabolic

i3 : P2=parabolic(R,set{1,2})

o3 = set {1, 2}

o3 : Parabolic

i4 : P1==P2

o4 = true