GAP (Utils) - Chapter 9: Various other functions

Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 Bib Ind
[Top of Book] [Contents] [Previous Chapter] [Next Chapter]

[MathJax on]

9 Various other functions
9.1 File operations
9.1-1 Log2HTML
9.2 LaTeX strings
9.2-1 IntOrOnfinityToLaTeX
9.2-2 LaTeXStringFactorsInt
9.3 Conversion to Magma string
9.3-1 ConvertToMagmaInputString

### 9 Various other functions

#### 9.1 File operations

##### 9.1-1 Log2HTML

`‣ Log2HTML`( filename ) | ( function )

This function has been transferred from package RCWA.

This function converts the GAP logfile `filename` to HTML. It appears that the logfile should be in your current directory. The extension of the input file must be `*.log`. The name of the output file is the same as the one of the input file except that the extension `*.log` is replaced by `*.html`. There is a sample CSS file in `utils/doc/gaplog.css`, which you can adjust to your taste.

    gap> LogTo( "triv.log" );
    gap> a := 33^5;
    39135393
    gap> LogTo();
    gap> Log2HTML( "triv.log" );

#### 9.2 LaTeX strings

##### 9.2-1 IntOrOnfinityToLaTeX

`‣ IntOrOnfinityToLaTeX`( n ) | ( function )

This function has been transferred from package ResClasses.

`IntOrInfinityToLaTeX(n)` returns the LaTeX string for n.

    gap> IntOrInfinityToLaTeX( 10^3 );
    "1000"
    gap> IntOrInfinityToLaTeX( infinity );
    "\\infty"

##### 9.2-2 LaTeXStringFactorsInt

`‣ LaTeXStringFactorsInt`( n ) | ( function )

This function has been transferred from package RCWA.

It returns the prime factorization of the integer n as a string in LaTeX format.

    gap> LaTeXStringFactorsInt( Factorial(12) );
    "2^{10} \\cdot 3^5 \\cdot 5^2 \\cdot 7 \\cdot 11"

#### 9.3 Conversion to Magma string

##### 9.3-1 ConvertToMagmaInputString

`‣ ConvertToMagmaInputString`( arg ) | ( function )

The function `ConvertToMagmaInputString( obj [, str] )` attempts to output a string `s` which can be read into Magma [BCP97] so as to produce the same group in that computer algebra system. In the second form the user specifies the name of the resulting object, so that the output string has the form `"str := ..."`. When `obj` is a permutation group, the operation `PermGroupToMagmaFormat(obj)` is called. This function has been taken from `other.gi` in the main library where it was called `MagmaInputString`. When `obj` is a pc-group, the operation `PcGroupToMagmaFormat(obj)` is called. This function was private code of Max Horn. When `obj` is a matrix group over a finite field, the operation `MatrixGroupToMagmaFormat(obj)` is called. This function is a modification of private code of Frank Lübeck.

Hopefully code for other types of group will be added in due course.

These functions should be considered experimental, and more testing is desirable.

    gap> ConvertToMagmaInputString( Group( (1,2,3,4,5), (3,4,5) ) );
    "PermutationGroup<5|(1,2,3,4,5),\n(3,4,5)>;\n"
    gap> ConvertToMagmaInputString( Group( (1,2,3,4,5) ), "c5" );
    "c5:=PermutationGroup<5|(1,2,3,4,5)>;\n"
    gap> ConvertToMagmaInputString( DihedralGroup( IsPcGroup, 10 ) );
    "PolycyclicGroup< f1,f2 |\nf1^2,\nf2^5,\nf2^f1 = f2^4\n>;\n"
    gap> M := GL(2,5);;  Size(M);
    480
    gap> s1 := ConvertToMagmaInputString( M );
    "F := GF(5);\nP := GL(2,F);\ngens := [\nP![2,0,0,1],\nP![4,1,4,0]\n];\nsub<P |\
     gens>;\n"
    gap> Print( s1 );
    F := GF(5);
    P := GL(2,F);
    gens := [
    P![2,0,0,1],
    P![4,1,4,0]
    ];
    sub<P | gens>;
    gap> n1 := [ [ Z(9)^0, Z(9)^0 ], [ Z(9)^0, Z(9) ] ];;
    gap> n2 := [ [ Z(9)^0, Z(9)^3 ], [ Z(9)^4, Z(9)^2 ] ];;
    gap> N := Group( n1, n2 );;  Size( N );
    5760
    gap> s2 := ConvertToMagmaInputString( N, "gpN" );;
    gap> Print( s2 );
    F := GF(3^2);
    P := GL(2,F);
    w := PrimitiveElement(F);
    gens := [
    P![ 1, 1, 1,w^1],
    P![ 1,w^3, 2,w^2]
    ];
    gpN := sub<P | gens>;

[Top of Book] [Contents] [Previous Chapter] [Next Chapter]
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 Bib Ind

generated by GAPDoc2HTML