isIsomorphic -- tests whether two Lie algebra are isomorphic

• Usage:

  isIsomorphic(g,h)

• Inputs:
  • g, an instance of the type LieAlgebra,
  • h, an instance of the type LieAlgebra,
• Optional inputs:
  • Homogeneous => ..., default value true,
  • Strategy => ..., default value null,
  • Strict => ..., default value false,
  • Tries => ..., default value null,
  • Verbose => ..., default value false,
• Outputs:
  • b, a Boolean value,

i1 : g=simpleLieAlgebra("D",4)

o1 = g

o1 : simple LieAlgebra

i2 : h=subLieAlgebra(g,{2,{1,0,1,1}})

o2 = h

o2 : simple LieAlgebra, subalgebra of g

i3 : isIsomorphic(h,simpleLieAlgebra("G",2))

o3 = true