maple-cstar/ComplexityOne.mpl at main · justus-springer/maple-cstar · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
ComplexityOnePackage := module()

option package;

export
    PFormat,
    AdmissibleOperation,
    PMatrix,
    ComplexityOneVariety,

    # Tools
    swapCase,
    platonicityType,
    canonicalBasisVector,
    applyPermToList,
    invariantPermutations,
    sortLexComparison,
    sortLex,
    intersectLines2D,
    hilbertBasisCone2D,
    getSingleDiscrepancy,
    imageFactorGroup,
    indexOfImage,
    dualHermiteForm,
    integerKernel,
    integerIntersectionBasis,
    integerIntersectionBasisList,
    isAlmostEpsHollow,
    cone2DNormalForm,
    hirzebruchJungContinuedFraction,

    # Database stuff
    CreateDatabase,
    ImportFromDatabase,
    ImportFromDatabaseID,
    FindInDatabase,
    ExportToDatabase,
    UpdateInDatabase,
    performOnDatabase;

uses LinearAlgebra, Database[SQLite];

$include "Tools.mm"
$include "PFormat.mm"
$include "AdmissibleOperation.mm"
$include "PMatrix.mm"
$include "ComplexityOneVariety.mm"
$include "DatabaseTools.mm"

end module: