next | previous | forward | backward | up | top | index | toc | Macaulay2 website
WeylGroups :: RootSystem == RootSystem

RootSystem == RootSystem -- equality of root systems

Synopsis

Description

i1 : R1=rootSystemA(2)

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

o1 : RootSystem
i2 : R2=rootSystemA(2)

o2 = RootSystem{...8...}

o2 : RootSystem
i3 : R1==R2

o3 = true