This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/gap-repl/magma.tst.output
2022-12-04 16:06:01 +01:00

694 lines
16 KiB
Text
Generated

'#@local F,M,T\n' Generic.Output
'gap> ' Generic.Prompt
'START_TEST' Name.Variable
'(' Punctuation
' ' Text
'"magma.tst"' Literal.String
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'\n' Generic.Output
'#\n' Generic.Output
'gap> ' Generic.Prompt
'M' Name.Variable
':=' Operator
' ' Text
'MagmaByMultiplicationTable' Name.Variable
'(' Punctuation
' ' Text
'[' Punctuation
' ' Text
'[' Punctuation
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
' ' Text
']' Punctuation
',' Operator
' ' Text
'[' Punctuation
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
' ' Text
']' Punctuation
' ' Text
']' Punctuation
' ' Text
')' Punctuation
';' Operator
';' Operator
'\n' Text.Whitespace
'gap> ' Generic.Prompt
'IsGeneratorsOfMagmaWithInverses' Name.Variable
'(' Punctuation
' ' Text
'Elements' Name.Variable
'(' Punctuation
' ' Text
'M' Name.Variable
' ' Text
')' Punctuation
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'false\n' Generic.Output
'\n' Generic.Output
'# IsAssociative and IsCommutative\n' Generic.Output
'gap> ' Generic.Prompt
'T' Name.Variable
' ' Text
':=' Operator
' ' Text
'[' Punctuation
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'2' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'2' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
' ' Text
']' Punctuation
'\n' Text.Whitespace
'> ' Generic.Prompt
']' Punctuation
';' Operator
';' Operator
'\n' Text.Whitespace
'gap> ' Generic.Prompt
'M' Name.Variable
' ' Text
':=' Operator
' ' Text
'MagmaByMultiplicationTable' Name.Variable
'(' Punctuation
'T' Name.Variable
')' Punctuation
';' Operator
'\n' Text.Whitespace
'<magma with 5 generators>\n' Generic.Output
'gap> ' Generic.Prompt
'IsAssociative' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
' ' Text
'or' Operator.Word
' ' Text
'IsCommutative' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
';' Operator
'\n' Text.Whitespace
'false\n' Generic.Output
'gap> ' Generic.Prompt
'Filtered' Name.Variable
'(' Punctuation
'Combinations' Name.Variable
'(' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
')' Punctuation
',' Operator
' ' Text
'x' Name.Variable
' ' Text
'-' Operator
'>' Operator
' ' Text
'Size' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
' ' Text
'>' Operator
' ' Text
'0' Name.Variable
' ' Text
'and' Operator.Word
' ' Text
'IsAssociative' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'[ [ m5 ] ]\n' Generic.Output
'gap> ' Generic.Prompt
'Filtered' Name.Variable
'(' Punctuation
'Combinations' Name.Variable
'(' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
')' Punctuation
',' Operator
' ' Text
'x' Name.Variable
' ' Text
'-' Operator
'>' Operator
' ' Text
'Size' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
' ' Text
'>' Operator
' ' Text
'0' Name.Variable
' ' Text
'and' Operator.Word
' ' Text
'IsCommutative' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'[ [ m1 ], [ m1, m5 ], [ m2 ], [ m2, m5 ], [ m3 ], [ m3, m4 ], [ m4 ], [ m5 ] ]\n' Generic.Output
'gap> ' Generic.Prompt
'T' Name.Variable
' ' Text
':=' Operator
' ' Text
'[' Punctuation
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'2' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'2' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'2' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'1' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'1' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'4' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
' ' Text
']' Punctuation
',' Operator
'\n' Text.Whitespace
'> ' Generic.Prompt
' ' Text
' ' Text
'[' Punctuation
' ' Text
'2' Name.Variable
',' Operator
' ' Text
'2' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
',' Operator
' ' Text
'5' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
' ' Text
']' Punctuation
'\n' Text.Whitespace
'> ' Generic.Prompt
']' Punctuation
';' Operator
';' Operator
'\n' Text.Whitespace
'gap> ' Generic.Prompt
'M' Name.Variable
' ' Text
':=' Operator
' ' Text
'MagmaByMultiplicationTable' Name.Variable
'(' Punctuation
'T' Name.Variable
')' Punctuation
';' Operator
'\n' Text.Whitespace
'<magma with 5 generators>\n' Generic.Output
'gap> ' Generic.Prompt
'IsAssociative' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
' ' Text
'or' Operator.Word
' ' Text
'IsCommutative' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
';' Operator
'\n' Text.Whitespace
'false\n' Generic.Output
'gap> ' Generic.Prompt
'Filtered' Name.Variable
'(' Punctuation
'Combinations' Name.Variable
'(' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
')' Punctuation
',' Operator
' ' Text
'x' Name.Variable
' ' Text
'-' Operator
'>' Operator
' ' Text
'Size' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
' ' Text
'>' Operator
' ' Text
'0' Name.Variable
' ' Text
'and' Operator.Word
' ' Text
'IsAssociative' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'[ [ m1 ], [ m1, m3 ], [ m2 ], [ m2, m4 ], [ m3 ], [ m4 ] ]\n' Generic.Output
'gap> ' Generic.Prompt
'AsSemigroup' Name.Variable
'(' Punctuation
'[' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
'[' Punctuation
'1' Name.Variable
']' Punctuation
',' Operator
' ' Text
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
'[' Punctuation
'2' Name.Variable
']' Punctuation
']' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'fail\n' Generic.Output
'gap> ' Generic.Prompt
'AsSemigroup' Name.Variable
'(' Punctuation
'[' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
'[' Punctuation
'1' Name.Variable
']' Punctuation
',' Operator
' ' Text
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
'[' Punctuation
'3' Name.Variable
']' Punctuation
']' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'<semigroup of size 2, with 2 generators>\n' Generic.Output
'gap> ' Generic.Prompt
'Filtered' Name.Variable
'(' Punctuation
'Combinations' Name.Variable
'(' Punctuation
'Elements' Name.Variable
'(' Punctuation
'M' Name.Variable
')' Punctuation
')' Punctuation
',' Operator
' ' Text
'x' Name.Variable
' ' Text
'-' Operator
'>' Operator
' ' Text
'Size' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
' ' Text
'>' Operator
' ' Text
'0' Name.Variable
' ' Text
'and' Operator.Word
' ' Text
'IsCommutative' Name.Variable
'(' Punctuation
'x' Name.Variable
')' Punctuation
')' Punctuation
';' Operator
'\n' Text.Whitespace
'[ [ m1 ], [ m1, m2 ], [ m1, m2, m3 ], [ m1, m2, m5 ], [ m1, m3 ], [ m1, m5 ], \n' Generic.Output
' [ m2 ], [ m2, m3 ], [ m2, m4 ], [ m2, m5 ], [ m3 ], [ m4 ], [ m5 ] ]\n' Generic.Output
'\n' Generic.Output
'#\n' Generic.Output
'gap> ' Generic.Prompt
'F' Name.Variable
' ' Text
':=' Operator
' ' Text
'Elements' Name.Variable
'(' Punctuation
' ' Text
'GL' Name.Variable
'(' Punctuation
'2' Name.Variable
',' Operator
'2' Name.Variable
')' Punctuation
' ' Text
')' Punctuation
';' Operator
';' Operator
'\n' Text.Whitespace
'gap> ' Generic.Prompt
'IsAssociative' Name.Variable
'(' Punctuation
' ' Text
'F' Name.Variable
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'true\n' Generic.Output
'gap> ' Generic.Prompt
'IsCommutative' Name.Variable
'(' Punctuation
' ' Text
'F' Name.Variable
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'false\n' Generic.Output
'gap> ' Generic.Prompt
'Number' Name.Variable
'(' Punctuation
' ' Text
'Combinations' Name.Variable
'(' Punctuation
' ' Text
'F' Name.Variable
',' Operator
' ' Text
'3' Name.Variable
' ' Text
')' Punctuation
',' Operator
' ' Text
'IsCommutative' Name.Variable
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'1\n' Generic.Output
'gap> ' Generic.Prompt
'AsSemigroup' Name.Variable
'(' Punctuation
' ' Text
'F' Name.Variable
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace
'<semigroup of size 6, with 2 generators>\n' Generic.Output
'\n' Generic.Output
'#\n' Generic.Output
'gap> ' Generic.Prompt
'STOP_TEST' Name.Variable
'(' Punctuation
' ' Text
'"magma.tst"' Literal.String
' ' Text
')' Punctuation
';' Operator
'\n' Text.Whitespace