From caa78909c51dc77adb0de5683cb968ed92ddc018 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Tue, 23 Jul 2024 10:12:32 +0100 Subject: [PATCH] More updates for universal polynomials (#87) * `UniversalPolynomialRing` -> `universal_polynomial_ring` * Adapt `Generic.UniversalPolyRing` typevars * Bump version to 0.3.2 --- Project.toml | 2 +- data/Tables/2A2/GU3.jl | 2 +- data/Tables/2A2/PGU3.2.jl | 2 +- data/Tables/2A2/PSU3.2.jl | 2 +- data/Tables/2A2/SU3.2.jl | 2 +- data/Tables/2A2/SU3.n2.jl | 2 +- data/Tables/2B2/2B2.jl | 2 +- data/Tables/2F4/2F4.1.jl | 2 +- data/Tables/2F4/2F4.2.jl | 2 +- data/Tables/2G2/2G2.jl | 2 +- data/Tables/3D4/3D4.0.jl | 2 +- data/Tables/3D4/3D4.11.jl | 2 +- data/Tables/3D4/3D4.13.jl | 2 +- data/Tables/A1/GL2.jl | 2 +- data/Tables/A1/GU2.jl | 2 +- data/Tables/A1/PGL2.1.jl | 2 +- data/Tables/A1/PSL2.1.jl | 2 +- data/Tables/A1/PSL2.3.jl | 2 +- data/Tables/A1/SL2.0.jl | 2 +- data/Tables/A1/SL2.1.jl | 2 +- data/Tables/A2/GL3.jl | 2 +- data/Tables/A2/PGL3.1.jl | 2 +- data/Tables/A2/PSL3.1.jl | 2 +- data/Tables/A2/SL3.1.jl | 2 +- data/Tables/A2/SL3.n1.jl | 2 +- data/Tables/C2/Sp4.0.jl | 2 +- data/Tables/C3/CSp6.1.jl | 2 +- data/Tables/C3/Sp6.0.jl | 2 +- data/Tables/F4/uniuniF4p2.jl | 2 +- data/Tables/G2/G2.01.jl | 2 +- data/Tables/G2/G2.02.jl | 2 +- data/Tables/G2/G2.101.jl | 2 +- data/Tables/G2/G2.103.jl | 2 +- data/Tables/G2/G2.111.jl | 2 +- data/Tables/G2/G2.113.jl | 2 +- data/Tables/G2/G2.121.jl | 2 +- data/Tables/G2/G2.123.jl | 2 +- extra/Convert/Convert.jl | 2 +- extra/PrintToTex/Factor.jl | 2 +- src/CharTable.jl | 6 +++--- src/SumProc.jl | 4 ++-- test/runtests.jl | 2 +- 42 files changed, 45 insertions(+), 45 deletions(-) diff --git a/Project.toml b/Project.toml index 48a66282..4f437faf 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "GenericCharacterTables" uuid = "fdcc7804-6c20-4e83-8118-baad6b7d05b7" authors = ["Andreas Leim ", "Martin Wagner ", "Max Horn "] -version = "0.3.1" +version = "0.3.2" [deps] JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" diff --git a/data/Tables/2A2/GU3.jl b/data/Tables/2A2/GU3.jl index f1ba7d44..a232387a 100644 --- a/data/Tables/2A2/GU3.jl +++ b/data/Tables/2A2/GU3.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) k,l,m,u,v,w, _...=gens(S, ["k", "l", "m", "u", "v", "w", "k1", "l1", "m1", "u1", "v1", "w1", "k2", "l2", "m2", "u2", "v2", "w2", "k3", "l3", "m3", "u3", "v3", "w3", "kt1", "lt1", "mt1", "ut1", "vt1", "wt1", "kt2", "lt2", "mt2", "ut2", "vt2", "wt2"]) order = q^3*(q+1)^3*(q-1)*(q^2-q+1) diff --git a/data/Tables/2A2/PGU3.2.jl b/data/Tables/2A2/PGU3.2.jl index 5d26eb08..2e2d64e6 100644 --- a/data/Tables/2A2/PGU3.2.jl +++ b/data/Tables/2A2/PGU3.2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) k,l,u,v, _...=gens(S, ["k", "l", "u", "v", "k1", "l1", "u1", "v1", "k2", "l2", "u2", "v2", "k3", "l3", "u3", "v3", "kt1", "lt1", "ut1", "vt1", "kt2", "lt2", "ut2", "vt2"]) order = q^3*(q+1)^2*(q-1)*(q^2-q+1) diff --git a/data/Tables/2A2/PSU3.2.jl b/data/Tables/2A2/PSU3.2.jl index a55c1d6d..c16f461d 100644 --- a/data/Tables/2A2/PSU3.2.jl +++ b/data/Tables/2A2/PSU3.2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q+1)^2*(q-1)*(q^2-q+1)*1//3 diff --git a/data/Tables/2A2/SU3.2.jl b/data/Tables/2A2/SU3.2.jl index 4b71b357..958013ea 100644 --- a/data/Tables/2A2/SU3.2.jl +++ b/data/Tables/2A2/SU3.2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q+1)^2*(q-1)*(q^2-q+1) diff --git a/data/Tables/2A2/SU3.n2.jl b/data/Tables/2A2/SU3.n2.jl index 01cf1b27..03ca14b4 100644 --- a/data/Tables/2A2/SU3.n2.jl +++ b/data/Tables/2A2/SU3.n2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q+1)^2*(q-1)*(q^2-q+1) diff --git a/data/Tables/2B2/2B2.jl b/data/Tables/2B2/2B2.jl index 4076a76b..2cf92e93 100644 --- a/data/Tables/2B2/2B2.jl +++ b/data/Tables/2B2/2B2.jl @@ -4,7 +4,7 @@ using Oscar K, sqrt2 = quadratic_field(2) R, q = polynomial_ring(K, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,c,s,k,u, _...=gens(S, ["a", "b", "c", "s", "k", "u", "a1", "b1", "c1", "s1", "k1", "u1", "a2", "b2", "c2", "s2", "k2", "u2", "a3", "b3", "c3", "s3", "k3", "u3", "at1", "bt1", "ct1", "st1", "kt1", "ut1", "at2", "bt2", "ct2", "st2", "kt2", "ut2"]) order = q^4*(q^4+1)*(q^2-1) diff --git a/data/Tables/2F4/2F4.1.jl b/data/Tables/2F4/2F4.1.jl index a5b2d8e4..25083f72 100644 --- a/data/Tables/2F4/2F4.1.jl +++ b/data/Tables/2F4/2F4.1.jl @@ -6,7 +6,7 @@ sqrt2 = 1//2*d^3 - 9//2*d sqrt3 = -1//2*d^3 + 11//2*d R, q = polynomial_ring(K, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,k,l, _...=gens(S, ["a", "b", "k", "l", "a1", "b1", "k1", "l1", "a2", "b2", "k2", "l2", "a3", "b3", "k3", "l3", "at1", "bt1", "kt1", "lt1", "at2", "bt2", "kt2", "lt2"]) order = q^24*(q^12+1)*(q^8-1)*(q^6+1)*(q^2-1) diff --git a/data/Tables/2F4/2F4.2.jl b/data/Tables/2F4/2F4.2.jl index 901d9f7e..4550c0e0 100644 --- a/data/Tables/2F4/2F4.2.jl +++ b/data/Tables/2F4/2F4.2.jl @@ -6,7 +6,7 @@ sqrt2 = 1//2*d^3 - 9//2*d sqrt3 = -1//2*d^3 + 11//2*d R, q = polynomial_ring(K, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,k,l, _...=gens(S, ["a", "b", "k", "l", "a1", "b1", "k1", "l1", "a2", "b2", "k2", "l2", "a3", "b3", "k3", "l3", "at1", "bt1", "kt1", "lt1", "at2", "bt2", "kt2", "lt2"]) order = q^24*(q^12+1)*(q^8-1)*(q^6+1)*(q^2-1) diff --git a/data/Tables/2G2/2G2.jl b/data/Tables/2G2/2G2.jl index 5351d86a..7a2bdb40 100644 --- a/data/Tables/2G2/2G2.jl +++ b/data/Tables/2G2/2G2.jl @@ -4,7 +4,7 @@ using Oscar K, sqrt3 = quadratic_field(3) R, q = polynomial_ring(K, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2+1+q*sqrt3)*(q^2+1-q*sqrt3)*(q^2+1)*(q-1)*(q+1) diff --git a/data/Tables/3D4/3D4.0.jl b/data/Tables/3D4/3D4.0.jl index 6fbde654..943a960a 100644 --- a/data/Tables/3D4/3D4.0.jl +++ b/data/Tables/3D4/3D4.0.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,k,l, _...=gens(S, ["a", "b", "k", "l", "a1", "b1", "k1", "l1", "a2", "b2", "k2", "l2", "a3", "b3", "k3", "l3", "at1", "bt1", "kt1", "lt1", "at2", "bt2", "kt2", "lt2"]) order = q^12*(q^8+q^4+1)*(q^6-1)*(q^2-1) diff --git a/data/Tables/3D4/3D4.11.jl b/data/Tables/3D4/3D4.11.jl index bdf6cdb5..03127750 100644 --- a/data/Tables/3D4/3D4.11.jl +++ b/data/Tables/3D4/3D4.11.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,k,l, _...=gens(S, ["a", "b", "k", "l", "a1", "b1", "k1", "l1", "a2", "b2", "k2", "l2", "a3", "b3", "k3", "l3", "at1", "bt1", "kt1", "lt1", "at2", "bt2", "kt2", "lt2"]) order = q^12*(q^8+q^4+1)*(q^6-1)*(q^2-1) diff --git a/data/Tables/3D4/3D4.13.jl b/data/Tables/3D4/3D4.13.jl index 26fe4784..dcd3f8d1 100644 --- a/data/Tables/3D4/3D4.13.jl +++ b/data/Tables/3D4/3D4.13.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,k,l, _...=gens(S, ["a", "b", "k", "l", "a1", "b1", "k1", "l1", "a2", "b2", "k2", "l2", "a3", "b3", "k3", "l3", "at1", "bt1", "kt1", "lt1", "at2", "bt2", "kt2", "lt2"]) order = q^12*(q^8+q^4+1)*(q^6-1)*(q^2-1) diff --git a/data/Tables/A1/GL2.jl b/data/Tables/A1/GL2.jl index e28da2e9..2b9eb75e 100644 --- a/data/Tables/A1/GL2.jl +++ b/data/Tables/A1/GL2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,l,k, _...=gens(S, ["i", "j", "l", "k", "i1", "j1", "l1", "k1", "i2", "j2", "l2", "k2", "i3", "j3", "l3", "k3", "it1", "jt1", "lt1", "kt1", "it2", "jt2", "lt2", "kt2"]) order = (q^2-1)*(q^2-q) diff --git a/data/Tables/A1/GU2.jl b/data/Tables/A1/GU2.jl index bf0bae7e..de37e3a8 100644 --- a/data/Tables/A1/GU2.jl +++ b/data/Tables/A1/GU2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) k,l,u,v, _...=gens(S, ["k", "l", "u", "v", "k1", "l1", "u1", "v1", "k2", "l2", "u2", "v2", "k3", "l3", "u3", "v3", "kt1", "lt1", "ut1", "vt1", "kt2", "lt2", "ut2", "vt2"]) order = q*(q+1)^2*(q-1) diff --git a/data/Tables/A1/PGL2.1.jl b/data/Tables/A1/PGL2.1.jl index e5a71a41..f0f90293 100644 --- a/data/Tables/A1/PGL2.1.jl +++ b/data/Tables/A1/PGL2.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,l,k, _...=gens(S, ["i", "j", "l", "k", "i1", "j1", "l1", "k1", "i2", "j2", "l2", "k2", "i3", "j3", "l3", "k3", "it1", "jt1", "lt1", "kt1", "it2", "jt2", "lt2", "kt2"]) order = q*(q^2-1) diff --git a/data/Tables/A1/PSL2.1.jl b/data/Tables/A1/PSL2.1.jl index 9620272b..5d37116f 100644 --- a/data/Tables/A1/PSL2.1.jl +++ b/data/Tables/A1/PSL2.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,k, _...=gens(S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]) order = q^2*(q^2-1)*(q^2+1)*1//2 diff --git a/data/Tables/A1/PSL2.3.jl b/data/Tables/A1/PSL2.3.jl index 35146b2d..f3c5944c 100644 --- a/data/Tables/A1/PSL2.3.jl +++ b/data/Tables/A1/PSL2.3.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,k, _...=gens(S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]) order = q^2*(q^2-1)*(q^2+1)*1//2 diff --git a/data/Tables/A1/SL2.0.jl b/data/Tables/A1/SL2.0.jl index c1c0eec5..a534696a 100644 --- a/data/Tables/A1/SL2.0.jl +++ b/data/Tables/A1/SL2.0.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,n, _...=gens(S, ["a", "n", "a1", "n1", "a2", "n2", "a3", "n3", "at1", "nt1", "at2", "nt2"]) order = q*(q-1)*(q+1) diff --git a/data/Tables/A1/SL2.1.jl b/data/Tables/A1/SL2.1.jl index 31336508..6b55e8d4 100644 --- a/data/Tables/A1/SL2.1.jl +++ b/data/Tables/A1/SL2.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,k, _...=gens(S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]) order = q^2*(q^2-1)*(q^2+1) diff --git a/data/Tables/A2/GL3.jl b/data/Tables/A2/GL3.jl index 8840456a..a64d714c 100644 --- a/data/Tables/A2/GL3.jl +++ b/data/Tables/A2/GL3.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,c,l,m,n, _...=gens(S, ["a", "b", "c", "l", "m", "n", "a1", "b1", "c1", "l1", "m1", "n1", "a2", "b2", "c2", "l2", "m2", "n2", "a3", "b3", "c3", "l3", "m3", "n3", "at1", "bt1", "ct1", "lt1", "mt1", "nt1", "at2", "bt2", "ct2", "lt2", "mt2", "nt2"]) order = q^3*(q-1)^3*(q+1)*(q^2+q+1) diff --git a/data/Tables/A2/PGL3.1.jl b/data/Tables/A2/PGL3.1.jl index b1d8a3a3..99708bc9 100644 --- a/data/Tables/A2/PGL3.1.jl +++ b/data/Tables/A2/PGL3.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q-1)^2*(q+1)*(q^2+q+1) diff --git a/data/Tables/A2/PSL3.1.jl b/data/Tables/A2/PSL3.1.jl index ad09aaf2..83b3049e 100644 --- a/data/Tables/A2/PSL3.1.jl +++ b/data/Tables/A2/PSL3.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q-1)^2*(q+1)*(q^2+q+1)*1//3 diff --git a/data/Tables/A2/SL3.1.jl b/data/Tables/A2/SL3.1.jl index 62a8df00..16fbd473 100644 --- a/data/Tables/A2/SL3.1.jl +++ b/data/Tables/A2/SL3.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q-1)^2*(q+1)*(q^2+q+1) diff --git a/data/Tables/A2/SL3.n1.jl b/data/Tables/A2/SL3.n1.jl index cbac8d4f..ac6f3574 100644 --- a/data/Tables/A2/SL3.n1.jl +++ b/data/Tables/A2/SL3.n1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) a,b,m,n, _...=gens(S, ["a", "b", "m", "n", "a1", "b1", "m1", "n1", "a2", "b2", "m2", "n2", "a3", "b3", "m3", "n3", "at1", "bt1", "mt1", "nt1", "at2", "bt2", "mt2", "nt2"]) order = q^3*(q-1)^2*(q+1)*(q^2+q+1) diff --git a/data/Tables/C2/Sp4.0.jl b/data/Tables/C2/Sp4.0.jl index 00d9916f..177d113a 100644 --- a/data/Tables/C2/Sp4.0.jl +++ b/data/Tables/C2/Sp4.0.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^4*(q-1)^2*(q+1)^2*(q^2+1) diff --git a/data/Tables/C3/CSp6.1.jl b/data/Tables/C3/CSp6.1.jl index 5dbf9c1f..9ab39f9b 100644 --- a/data/Tables/C3/CSp6.1.jl +++ b/data/Tables/C3/CSp6.1.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i1,i2,i3,i4,k1,k2,k3,k4,i11, _...=gens(S, ["i1", "i2", "i3", "i4", "k1", "k2", "k3", "k4", "i11", "i21", "i31", "i41", "k11", "k21", "k31", "k41", "i12", "i22", "i32", "i42", "k12", "k22", "k32", "k42", "i13", "i23", "i33", "i43", "k13", "k23", "k33", "k43", "i1t1", "i2t1", "i3t1", "i4t1", "k1t1", "k2t1", "k3t1", "k4t1", "i1t2", "i2t2", "i3t2", "i4t2", "k1t2", "k2t2", "k3t2", "k4t2"]) order = q^9*(q^6-1)*(q^4-1)*(q^2-1)*(q-1) diff --git a/data/Tables/C3/Sp6.0.jl b/data/Tables/C3/Sp6.0.jl index 4e4fdd6c..33b78392 100644 --- a/data/Tables/C3/Sp6.0.jl +++ b/data/Tables/C3/Sp6.0.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i1,i2,i3,k1,k2,k3, _...=gens(S, ["i1", "i2", "i3", "k1", "k2", "k3", "i11", "i21", "i31", "k11", "k21", "k31", "i12", "i22", "i32", "k12", "k22", "k32", "i13", "i23", "i33", "k13", "k23", "k33", "i1t1", "i2t1", "i3t1", "k1t1", "k2t1", "k3t1", "i1t2", "i2t2", "i3t2", "k1t2", "k2t2", "k3t2"]) order = q^9*(q^6-1)*(q^4-1)*(q^2-1) diff --git a/data/Tables/F4/uniuniF4p2.jl b/data/Tables/F4/uniuniF4p2.jl index a7eeb3ce..767cedd1 100644 --- a/data/Tables/F4/uniuniF4p2.jl +++ b/data/Tables/F4/uniuniF4p2.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) order = q^24*(q^4-q^2+1)*(q^4+1)*(q^2+q+1)^2*(q^2-q+1)^2*(q^2+1)^2*(q-1)^4*(q+1)^4 table = Cyclotomic{QQPolyRingElem}[[ diff --git a/data/Tables/G2/G2.01.jl b/data/Tables/G2/G2.01.jl index 081f63a4..5cc375f3 100644 --- a/data/Tables/G2/G2.01.jl +++ b/data/Tables/G2/G2.01.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.02.jl b/data/Tables/G2/G2.02.jl index de6a80ba..6196f574 100644 --- a/data/Tables/G2/G2.02.jl +++ b/data/Tables/G2/G2.02.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.101.jl b/data/Tables/G2/G2.101.jl index f289ad84..1353b9fb 100644 --- a/data/Tables/G2/G2.101.jl +++ b/data/Tables/G2/G2.101.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.103.jl b/data/Tables/G2/G2.103.jl index 1168ca28..2177911b 100644 --- a/data/Tables/G2/G2.103.jl +++ b/data/Tables/G2/G2.103.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.111.jl b/data/Tables/G2/G2.111.jl index f590f598..53b28e01 100644 --- a/data/Tables/G2/G2.111.jl +++ b/data/Tables/G2/G2.111.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.113.jl b/data/Tables/G2/G2.113.jl index 9ebc345f..e64a2e15 100644 --- a/data/Tables/G2/G2.113.jl +++ b/data/Tables/G2/G2.113.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.121.jl b/data/Tables/G2/G2.121.jl index 2da00ca9..36585a01 100644 --- a/data/Tables/G2/G2.121.jl +++ b/data/Tables/G2/G2.121.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/data/Tables/G2/G2.123.jl b/data/Tables/G2/G2.123.jl index 7eaf81b1..03b15388 100644 --- a/data/Tables/G2/G2.123.jl +++ b/data/Tables/G2/G2.123.jl @@ -3,7 +3,7 @@ import ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterExc using Oscar R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) -S = UniversalPolynomialRing(Q, cached=false) +S = universal_polynomial_ring(Q; cached=false) i,j,k,l, _...=gens(S, ["i", "j", "k", "l", "i1", "j1", "k1", "l1", "i2", "j2", "k2", "l2", "i3", "j3", "k3", "l3", "it1", "jt1", "kt1", "lt1", "it2", "jt2", "kt2", "lt2"]) order = q^6*(q^2-1)^2*(q^4+q^2+1) diff --git a/extra/Convert/Convert.jl b/extra/Convert/Convert.jl index 8c658d51..6068ae5d 100644 --- a/extra/Convert/Convert.jl +++ b/extra/Convert/Convert.jl @@ -116,7 +116,7 @@ function readmaple(path::String, folder::String) if !NurPolynom summationsprozeduren = convert_summen_parameter(removecomments(String(summationsprozeduren)),cht, clt, joinedparams) imports="using ..GenericCharacterTables\nimport ..GenericCharacterTables: Cyclotomic, Parameters, Parameter, ParameterException, ParameterSubstitution, CharTable\nusing Oscar\n" - head = "R, q = polynomial_ring(QQ, \"q\")\nQ = fraction_field(R)\nS = UniversalPolynomialRing(Q, cached=false)\n" + head = "R, q = polynomial_ring(QQ, \"q\")\nQ = fraction_field(R)\nS = universal_polynomial_ring(Q; cached=false)\n" ring = join(rr[1:nrpar],",")*", _...=gens(S, "*repr(rr)*")\n" end diff --git a/extra/PrintToTex/Factor.jl b/extra/PrintToTex/Factor.jl index 8950928a..07461636 100644 --- a/extra/PrintToTex/Factor.jl +++ b/extra/PrintToTex/Factor.jl @@ -207,7 +207,7 @@ julia> R, q = polynomial_ring(QQ, \"q\"); julia> Q = fraction_field(R); -julia> S = UniversalPolynomialRing(Q); +julia> S = universal_polynomial_ring(Q); julia> i, j = gens(S, [\"i\", \"j\"]); diff --git a/src/CharTable.jl b/src/CharTable.jl index 6e24e0cc..bf4b8d5a 100644 --- a/src/CharTable.jl +++ b/src/CharTable.jl @@ -21,7 +21,7 @@ struct CharTable{T} <: Table{T} classparams::Vector{Parameters{T}} # Info about the parameters of each class type congruence::Union{Tuple{T, T}, Nothing} # Congruence of the main parameter q (of T). q is congruent to congruence[1] mod congruence[2]. modulusring::PolyRing # Ring of polynomials of type T used in table (also ring of modulus of Cyclotomics) - argumentring::Generic.UniversalPolyRing{Generic.FracFieldElem{T}, Generic.MPoly{Generic.FracFieldElem{T}}} # Ring of argument of the Cyclotomics in table + argumentring::Generic.UniversalPolyRing{Generic.FracFieldElem{T}} # Ring of argument of the Cyclotomics in table information::String # General info about the table chars::Vector{<:AbstractGenericCharacter{T}} irrchartypes::Int64 # Number of irreducible character types @@ -30,8 +30,8 @@ end function CharTable(order::T, table::Matrix{Cyclotomic{T}}, classinfo::Vector{<:Any}, classlength::Vector{T}, charinfo::Vector{<:Any}, chardegree::Vector{T}, classsums::Vector{Function}, charsums::Vector{Function}, classparamindex::Vector{Int64}, charparamindex::Vector{Int64}, classparams::Vector{Parameters{T}}, charparams::Vector{Parameters{T}}, - congruence::Union{Tuple{T, T}, Nothing}, modulusring::PolyRing, argumentring::Generic.UniversalPolyRing{Generic.FracFieldElem{T}, - Generic.MPoly{Generic.FracFieldElem{T}}}, information::String, importname::String) where T<:NfPoly + congruence::Union{Tuple{T, T}, Nothing}, modulusring::PolyRing, argumentring::Generic.UniversalPolyRing{Generic.FracFieldElem{T}}, + information::String, importname::String) where T<:NfPoly num_chars=size(table, 1) chars=Vector{GenericCharacter{T}}(undef, num_chars) ct=CharTable{T}(order, classinfo, classlength, classsums, classparamindex, charparamindex, diff --git a/src/SumProc.jl b/src/SumProc.jl index 14c43ef7..1c95b718 100644 --- a/src/SumProc.jl +++ b/src/SumProc.jl @@ -50,7 +50,7 @@ julia> R, q = polynomial_ring(QQ, "q"); julia> Q=fraction_field(R); -julia> S=UniversalPolynomialRing(Q); +julia> S=universal_polynomial_ring(Q); julia> i, j, k, l = gens(S, ["i", "j", "k", "l"]); @@ -91,7 +91,7 @@ julia> R, q = polynomial_ring(QQ, "q"); julia> Q=fraction_field(R); -julia> S=UniversalPolynomialRing(Q); +julia> S=universal_polynomial_ring(Q); julia> i, = gens(S, ["i"]); diff --git a/test/runtests.jl b/test/runtests.jl index 3359d8d3..97d8df22 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -7,7 +7,7 @@ include("Aqua.jl") @testset "Cyclotomic" begin R, q = polynomial_ring(QQ, "q") Q = fraction_field(R) - S = UniversalPolynomialRing(Q) + S = universal_polynomial_ring(Q) i, j = gens(S, ["i", "j"]) a=CycloSum(R(1), 1//(q-1)*i+2//(q-1)*j+q^2//(q+1)*i)