Skip to content

Commit

Permalink
format
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens committed Sep 16, 2024
1 parent 44f2fe2 commit 36c9957
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
7 changes: 4 additions & 3 deletions experimental/ExteriorAlgebra/src/ExteriorAlgebra.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@ export exterior_algebra
# * tests in Oscar.jl/test/Experimental/ExteriorAlgebra-test.jl
# * doc tests in Oscar.jl/docs/src/NoncommutativeAlgebra/PBWAlgebras/quotients.md


#---------------------- MAIN FUNCTION ----------------------

# Returns 2 components: ExtAlg, list of the gens/variables
Expand Down Expand Up @@ -79,7 +78,9 @@ function exterior_algebra(K::Ring, varnames::Vector{Symbol})
# get var names from PBW in case it had "mangled" them.
K_singular = singular_coeff_ring(coefficient_ring(R))
R_singular, _ = Singular.polynomial_ring(K_singular, symbols(PBW))
SINGULAR_PTR = Singular.libSingular.exteriorAlgebra(Singular.libSingular.rCopy(R_singular.ptr))
SINGULAR_PTR = Singular.libSingular.exteriorAlgebra(
Singular.libSingular.rCopy(R_singular.ptr)
)
ExtAlg_singular = Singular.create_ring_from_singular_ring(SINGULAR_PTR)
# Create Quotient ring with special implementation:
ExtAlg, _ = quo(PBW, I; special_impl=ExtAlg_singular) # 2nd result is a QuoMap, apparently not needed
Expand All @@ -90,7 +91,7 @@ function exterior_algebra(K::Ring, varnames::Vector{Symbol})
end
end

AbstractAlgebra.@varnames_interface exterior_algebra(K::Ring, varnames) macros=:no
AbstractAlgebra.@varnames_interface exterior_algebra(K::Ring, varnames) macros = :no

# # BUGS/DEFICIENCIES (2023-02-13):
# # (1) Computations with elements DO NOT AUTOMATICALLY REDUCE
Expand Down
2 changes: 1 addition & 1 deletion experimental/ExteriorAlgebra/test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
@test ngens(A) == n
@test gens(A) == g
end

@testset "constructor with no variables" begin
@test_throws ArgumentError exterior_algebra(QQ, 0)
@test_throws ArgumentError exterior_algebra(QQ, Symbol[])
Expand Down

0 comments on commit 36c9957

Please sign in to comment.