Skip to content

Commit 20f5fe5

Browse files
SoongNoonienSoongNoonien
authored
Generic cyclotomic ring (#286)
1 parent 0db5404 commit 20f5fe5

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+254
-223
lines changed

‎data/Tables/2A2/GU3.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
k, l, m, u, v, w, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
k, l, m, u, v, w, _... = params(
8+
S,
109
[
1110
"k",
1211
"l",

‎data/Tables/2A2/PGU3.2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 3)))
8-
k, l, u, v, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((-1, 3)))
6+
R = base_ring(S)
7+
k, l, u, v, _... = params(
8+
S,
109
[
1110
"k",
1211
"l",

‎data/Tables/2A2/PSU3.2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 3)))
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((-1, 3)))
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2A2/SU3.2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 3)))
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((-1, 3)))
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2A2/SU3.n2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2B2/2B2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q0 = gen(R, "q0")
7-
S, E = generic_cyclotomic_ring(R)
8-
a, b, c, s, k, u, _... = gens(
9-
R,
5+
S, E, q0 = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
a, b, c, s, k, u, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2F4/2F4.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q0 = gen(R, "q0")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 3)))
8-
a, b, k, l, _... = gens(
9-
R,
5+
S, E, q0 = generic_cyclotomic_ring(; congruence=ZZ.((1, 3)))
6+
R = base_ring(S)
7+
a, b, k, l, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2F4/2F4.2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q0 = gen(R, "q0")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 3)))
8-
a, b, k, l, _... = gens(
9-
R,
5+
S, E, q0 = generic_cyclotomic_ring(; congruence=ZZ.((-1, 3)))
6+
R = base_ring(S)
7+
a, b, k, l, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/2G2/2G2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q0 = gen(R, "q0")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 4)))
8-
i, j, k, l, _... = gens(
9-
R,
5+
S, E, q0 = generic_cyclotomic_ring(; congruence=ZZ.((-1, 4)))
6+
R = base_ring(S)
7+
i, j, k, l, _... = params(
8+
S,
109
[
1110
"i",
1211
"j",

‎data/Tables/3D4/3D4.0.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
a, b, k, l, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
a, b, k, l, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/3D4/3D4.11.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 4)))
8-
a, b, k, l, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 4)))
6+
R = base_ring(S)
7+
a, b, k, l, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/3D4/3D4.13.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 4)))
8-
a, b, k, l, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((-1, 4)))
6+
R = base_ring(S)
7+
a, b, k, l, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/A1/GL2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
i, j, l, k, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
i, j, l, k, _... = params(
8+
S,
109
[
1110
"i",
1211
"j",

‎data/Tables/A1/GU2.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
k, l, u, v, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
k, l, u, v, _... = params(
8+
S,
109
[
1110
"k",
1211
"l",

‎data/Tables/A1/PGL2.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 2)))
8-
i, j, l, k, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 2)))
6+
R = base_ring(S)
7+
i, j, l, k, _... = params(
8+
S,
109
[
1110
"i",
1211
"j",

‎data/Tables/A1/PSL2.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 4)))
8-
i, k, _... = gens(
9-
R, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 4)))
6+
R = base_ring(S)
7+
i, k, _... = params(
8+
S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
109
)
1110

1211
order = q^2 * (q^2 - 1) * (q^2 + 1) * 1//2

‎data/Tables/A1/PSL2.3.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((-1, 4)))
8-
i, k, _... = gens(
9-
R, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((-1, 4)))
6+
R = base_ring(S)
7+
i, k, _... = params(
8+
S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
109
)
1110

1211
order = q^2 * (q^2 - 1) * (q^2 + 1) * 1//2

‎data/Tables/A1/SL2.0.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((0, 2)))
8-
a, n, _... = gens(
9-
R, ["a", "n", "a1", "n1", "a2", "n2", "a3", "n3", "at1", "nt1", "at2", "nt2"]
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((0, 2)))
6+
R = base_ring(S)
7+
a, n, _... = params(
8+
S, ["a", "n", "a1", "n1", "a2", "n2", "a3", "n3", "at1", "nt1", "at2", "nt2"]
109
)
1110

1211
order = q * (q - 1) * (q + 1)

‎data/Tables/A1/SL2.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,11 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q0 = gen(R, "q0")
5+
S, E, q0 = generic_cyclotomic_ring(; congruence=ZZ.((1, 2)), power=2)
6+
R = base_ring(S)
77
q = q0^2
8-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 2)), power=2)
9-
i, k, _... = gens(
10-
R, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
8+
i, k, _... = params(
9+
S, ["i", "k", "i1", "k1", "i2", "k2", "i3", "k3", "it1", "kt1", "it2", "kt2"]
1110
)
1211

1312
order = q * (q - 1) * (q + 1)

‎data/Tables/A2/GL3.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
a, b, c, l, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
a, b, c, l, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/A2/PGL3.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 3)))
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 3)))
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/A2/PSL3.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 3)))
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 3)))
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/A2/SL3.1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R; congruence=ZZ.((1, 3)))
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring(; congruence=ZZ.((1, 3)))
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

‎data/Tables/A2/SL3.n1.jl

+4-5
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@ using ..GenericCharacterTables
22
import ..GenericCharacterTables:
33
Parameters, Parameter, CharTable, GenericCyclo, GenericCycloFrac, nesum
44
using ..GenericCharacterTables.Oscar
5-
R = universal_polynomial_ring(QQ; cached=false)
6-
q = gen(R, "q")
7-
S, E = generic_cyclotomic_ring(R)
8-
a, b, m, n, _... = gens(
9-
R,
5+
S, E, q = generic_cyclotomic_ring()
6+
R = base_ring(S)
7+
a, b, m, n, _... = params(
8+
S,
109
[
1110
"a",
1211
"b",

0 commit comments

Comments
 (0)