<s> from sympy . liealgebras . root_system import RootSystem <EOL> from sympy . liealgebras . type_a import TypeA <EOL> from sympy . matrices import Matrix <EOL> def test_root_system ( ) : <EOL> c = RootSystem ( "<STR_LIT>" ) <EOL> assert c . cartan_type == TypeA ( <NUM_LIT:3> ) <EOL> assert c . simple_roots ( ) == { <NUM_LIT:1> : [ <NUM_LIT:1> , - <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> ] , <NUM_LIT:2> : [ <NUM_LIT:0> , <NUM_LIT:1> , - <NUM_LIT:1> , <NUM_LIT:0> ] , <NUM_LIT:3> : [ <NUM_LIT:0> , <NUM_LIT:0> , <NUM_LIT:1> , - <NUM_LIT:1> ] } <EOL> assert c . root_space ( ) == "<STR_LIT>" <EOL> assert c . cartan_matrix ( ) == Matrix ( [ [ <NUM_LIT:2> , - <NUM_LIT:1> , <NUM_LIT:0> ] , [ - <NUM_LIT:1> , <NUM_LIT:2> , - <NUM_LIT:1> ] , [ <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:2> ] ] ) <EOL> assert c . dynkin_diagram ( ) == "<STR_LIT>" <EOL> assert c . add_simple_roots ( <NUM_LIT:1> , <NUM_LIT:2> ) == [ <NUM_LIT:1> , <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:0> ] <EOL> assert c . all_roots ( ) == { <NUM_LIT:1> : [ <NUM_LIT:1> , - <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> ] , <NUM_LIT:2> : [ <NUM_LIT:1> , <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:0> ] , <EOL> <NUM_LIT:3> : [ <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> , - <NUM_LIT:1> ] , <NUM_LIT:4> : [ <NUM_LIT:0> , <NUM_LIT:1> , - <NUM_LIT:1> , <NUM_LIT:0> ] , <NUM_LIT:5> : [ <NUM_LIT:0> , <NUM_LIT:1> , <NUM_LIT:0> , - <NUM_LIT:1> ] , <EOL> <NUM_LIT:6> : [ <NUM_LIT:0> , <NUM_LIT:0> , <NUM_LIT:1> , - <NUM_LIT:1> ] , <NUM_LIT:7> : [ - <NUM_LIT:1> , <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> ] , <NUM_LIT:8> : [ - <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:1> , <NUM_LIT:0> ] , <EOL> <NUM_LIT:9> : [ - <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> , <NUM_LIT:1> ] , <NUM_LIT:10> : [ <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:1> , <NUM_LIT:0> ] , <EOL> <NUM_LIT:11> : [ <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:1> ] , <NUM_LIT:12> : [ <NUM_LIT:0> , <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:1> ] } <EOL> assert c . add_as_roots ( [ <NUM_LIT:1> , <NUM_LIT:0> , - <NUM_LIT:1> , <NUM_LIT:0> ] , [ <NUM_LIT:0> , <NUM_LIT:0> , <NUM_LIT:1> , - <NUM_LIT:1> ] ) == [ <NUM_LIT:1> , <NUM_LIT:0> , <NUM_LIT:0> , - <NUM_LIT:1> ] </s>
