norm(RootSystem,Root) -- the squared norm of a root

• Function: norm

• Usage:

  norm(R,r)

• Inputs:
  • R, an instance of the type RootSystem,
  • r, an instance of the type Root,
• Outputs:
  • an integer, the squared norm of r, short roots being of norm 1

i1 : norm(rootSystemF4,simpleRoot(rootSystemF4,2))

o1 = 2