Skip to content

Formspace (Work towards fixing Issues 78, 39, 22) #79

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
GalaxyCo wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Formspace (Work towards fixing Issues 78, 39, 22) #79

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
8e6305d
started implementation
GalaxyCo Nov 20, 2025
4227d4d
testing some things, cyclic group case, added documentation (TODO!!)
GalaxyCo Dec 9, 2025
501bcea
deleted old file
GalaxyCo Dec 9, 2025
a5e44da
added more documentation, renamed file,
GalaxyCo Dec 9, 2025
6115c49
moved file intersting_groups.g into tst folder TODO: write tests with…
GalaxyCo Dec 9, 2025
8299f69
renamed poly_eval_test.g to custom_test_functions.g
GalaxyCo Dec 9, 2025
202c1c0
Added tests, TODO: tests with interesting scalars are missing
GalaxyCo Dec 10, 2025
aeed217
forgot to load interesting_groups.g in testall.g
GalaxyCo Dec 10, 2025
cf59bfb
changed test names, added test from github issue 39
GalaxyCo Dec 10, 2025
870cfcc
small bug fix
GalaxyCo Dec 10, 2025
a7cb0a7
fixed bug, where wrong basis change matrix was used when computing th…
GalaxyCo Dec 10, 2025
46918dd
changed tests to use vectos space dimension
GalaxyCo Dec 10, 2025
26f348a
fixed tests, forgot to set field
GalaxyCo Dec 10, 2025
f1a1b72
fixed typo ....
GalaxyCo Dec 10, 2025
d777d43
changed back test files to only compare list size instead of vector s…
GalaxyCo Dec 10, 2025
6ed901a
deleted useless latex files in doc dir
GalaxyCo Dec 11, 2025
db5c8b3
Added function Filter Formspace to compute Symmetric/Symplectic/Hermi…
GalaxyCo Dec 11, 2025
5fea158
made filter unitary forms return a gf(q) basis (instead of a weird gf…
GalaxyCo Dec 15, 2025
902f5fd
replaced prefix for internal methods
GalaxyCo Dec 15, 2025
8d6449a
fixed test (new prefix)
GalaxyCo Dec 15, 2025
89a2aa2
changed most of max nitpicks
GalaxyCo Dec 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,3 +22,4 @@
/tmp
/gh-pages
tmp.json
profiling
2 changes: 1 addition & 1 deletion PackageInfo.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ PackageDoc := rec(

Dependencies := rec(
GAP := ">=4.9",
NeededOtherPackages := [],
NeededOtherPackages := [["nofoma", "1.0"]],
SuggestedOtherPackages := [],
ExternalConditions := []),

Expand Down
2 changes: 2 additions & 0 deletions doc/forms.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,8 @@
<#Include SYSTEM "theory.xml">
<#Include SYSTEM "construct_basic.xml">
<#Include SYSTEM "morphisms.xml">
<#Include SYSTEM "_Chapter_Formspace.xml">

</Body>

<Bibliography Databases="forms"/>
Expand Down
1 change: 1 addition & 0 deletions init.g
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,3 +14,4 @@

ReadPackage("forms","lib/forms.gd");
ReadPackage("forms","lib/recognition.gd");
ReadPackage("forms","lib/formspace.gd");
4 changes: 4 additions & 0 deletions lib/formspace.gd
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
DeclareOperation("PreservedFormspace", [IsMatrixGroup, IsVector and IsFFECollection, IsBool]);
DeclareOperation("PreservedFormspace", [IsMatrixGroup]);

DeclareOperation("FilterFormspace", [IsList, IsFinite and IsField, IsBool]);
Loading