glen/dyna3
1
0
Fork 0
Code Issues 11 Pull Requests 1 Actions Projects Releases 2 Wiki Activity

Engine prototype #13

Merged
glen merged 133 commits from engine-proto into main 2024-10-21 03:18:48 +00:00
Conversation 9 Commits 133 Files Changed 20 +4 -4
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 4a28a47520 - Show all commits

4
engine-proto/gram-test/descent-test.jl
View File

@ -108,11 +108,11 @@ println("\nLoss: ", loss, "\n")
# === algebraic check === # === algebraic check ===
R, gens = polynomial_ring(Generic.Rationals{BigInt}(), ["x", "t₁", "t₂", "t₃"]) R, gens = polynomial_ring(AbstractAlgebra.Rationals{BigInt}(), ["x", "t₁", "t₂", "t₃"])
x = gens[1] x = gens[1]
t = gens[2:4] t = gens[2:4]
S, u = polynomial_ring(Generic.Rationals{BigInt}(), "u") S, u = polynomial_ring(AbstractAlgebra.Rationals{BigInt}(), "u")
M = matrix_space(R, 7, 7) M = matrix_space(R, 7, 7)
gram_symb = M(R[ gram_symb = M(R[

2
engine-proto/gram-test/gram-test.jl
View File

@ -11,7 +11,7 @@ function printbad(msg)
println(" ", msg) println(" ", msg)
end end
F, gens = rational_function_field(Generic.Rationals{BigInt}(), ["a₁", "a₂", "b₁", "b₂", "c₁", "c₂"]) F, gens = rational_function_field(AbstractAlgebra.Rationals{BigInt}(), ["a₁", "a₂", "b₁", "b₂", "c₁", "c₂"])
a = gens[1:2] a = gens[1:2]
b = gens[3:4] b = gens[3:4]
c = gens[5:6] c = gens[5:6]

2
engine-proto/gram-test/overlap-test.jl
View File

@ -11,7 +11,7 @@ function printbad(msg)
println(" ", msg) println(" ", msg)
end end
F, gens = rational_function_field(Generic.Rationals{BigInt}(), ["x", "t₁", "t₂", "t₃"]) F, gens = rational_function_field(AbstractAlgebra.Rationals{BigInt}(), ["x", "t₁", "t₂", "t₃"])
x = gens[1] x = gens[1]
t = gens[2:4] t = gens[2:4]