numberOfPositiveRoots(RootSystem) -- the number of positive roots

• Function: numberOfPositiveRoots

• Usage:

  numberOfPositiveRoots(R)

• Inputs:
  • R, an instance of the type RootSystem,
• Outputs:
  • an integer, the number of positive roots of R

i1 : numberOfPositiveRoots(rootSystemD(4))

o1 = 12