positiveRoots(RootSystem) -- the set of all positive roots

Synopsis

• Function: positiveRoots

• Usage:

  positiveRoots(R)

• Inputs:
  • R, an instance of the type RootSystem,
• Outputs:
  • a set, of all positive roots of R

Description

i1 : positiveRoots(rootSystemA(3))

o1 = set {| -1 |, | -1 |, |  0 |, | 1 |, |  1 |, |  2 |}
          |  1 |  |  2 |  | -1 |  | 0 |  |  1 |  | -1 |
          |  1 |  | -1 |  |  2 |  | 1 |  | -1 |  |  0 |

o1 : Set