projective_space.ipynb

Kernel: SageMath 10.3

%run '/home/user/Equivariant_Vector_Bundles_On_Homogeneous_Varieties__0-0-1/src/Initialize.ipynb'

from IPython.display import clear_output , display , HTML

X = Projective_Space(9)
print( 'X:' , X )
print()

for Counter , WeylElement in enumerate( X.Weyl_Group_Coset_Representatives_Of_Minimal_Length() , start=1 ) :
    print( 'Counter='+str(Counter) )
    print( 'Weyl group element:' )
    print( WeylElement )
    print()

X: Projective space of dimension 9.

---------------------------------------------------------------------------
KeyboardInterrupt                         Traceback (most recent call last)
Cell In[5], line 4
      1 X = Projective_Space(Integer(9))
      2 print( 'X:' , X )
----> 4 for WeylElement in X.Weyl_Group_Coset_Representatives_Of_Minimal_Length() :
      5     print(WeylElement)
File /tmp/ipykernel_94923/575210776.py:907, in Irreducible_Homogeneous_Variety.Weyl_Group_Coset_Representatives_Of_Minimal_Length(self)
    904 sr = WG.simple_reflections()
    905 Identity = sr[Integer(1)]*(sr[Integer(1)].inverse())
--> 907 Stock = [ [ i+Integer(1) for i in w._reduced_word ] for w in WeylGroup( G.Cartan_Type() , implementation='permutation' ).iteration('breadth',True) ]
    908 Stock = [ ( prod([ Identity ] + [ sr[Node] for Node in ReducedDescription ]) , ReducedDescription ) for ReducedDescription in Stock ]
    910 for WeylElement0 , ReducedDescription0 in Stock :
File /tmp/ipykernel_94923/575210776.py:907, in <listcomp>(.0)
    904 sr = WG.simple_reflections()
    905 Identity = sr[Integer(1)]*(sr[Integer(1)].inverse())
--> 907 Stock = [ [ i+Integer(1) for i in w._reduced_word ] for w in WeylGroup( G.Cartan_Type() , implementation='permutation' ).iteration('breadth',True) ]
    908 Stock = [ ( prod([ Identity ] + [ sr[Node] for Node in ReducedDescription ]) , ReducedDescription ) for ReducedDescription in Stock ]
    910 for WeylElement0 , ReducedDescription0 in Stock :
File /tmp/ipykernel_94923/575210776.py:907, in <listcomp>(.0)
    904 sr = WG.simple_reflections()
    905 Identity = sr[Integer(1)]*(sr[Integer(1)].inverse())
--> 907 Stock = [ [ i+Integer(1) for i in w._reduced_word ] for w in WeylGroup( G.Cartan_Type() , implementation='permutation' ).iteration('breadth',True) ]
    908 Stock = [ ( prod([ Identity ] + [ sr[Node] for Node in ReducedDescription ]) , ReducedDescription ) for ReducedDescription in Stock ]
    910 for WeylElement0 , ReducedDescription0 in Stock :
File src/cysignals/signals.pyx:341, in cysignals.signals.python_check_interrupt()
KeyboardInterrupt: