Skip to content

Commit

Permalink
Forgot to remove the imports
Browse files Browse the repository at this point in the history
  • Loading branch information
joschmitt committed Feb 16, 2024
1 parent c934784 commit 83564e1
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 11 deletions.
2 changes: 0 additions & 2 deletions experimental/GITFans/src/GITFans.jl
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,6 @@ module GITFans
# the necessary Julia packages
using Oscar

import Oscar: AbstractAlgebra.Solve

export git_fan

#############################################################################
Expand Down
1 change: 0 additions & 1 deletion experimental/ModStd/ModStdQt.jl
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ module ModStdQt
using Oscar
import Oscar.Nemo
import Oscar.Hecke
import Oscar.Solve

function __init__()
Hecke.add_verbosity_scope(:ModStdQt)
Expand Down
2 changes: 0 additions & 2 deletions experimental/Rings/QQAbAndPChars.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@ using ..Oscar

import Oscar: IJuliaMime

import Oscar: Solve

###############################################################################
#
# Partial character functions
Expand Down
4 changes: 0 additions & 4 deletions src/Oscar.jl
Original file line number Diff line number Diff line change
Expand Up @@ -207,10 +207,6 @@ function build()
system("Build.jl")
end

# temporarily

import AbstractAlgebra: Solve

include("assertions.jl")

include("exports.jl")
Expand Down
2 changes: 0 additions & 2 deletions src/Rings/AbelianClosure.jl
Original file line number Diff line number Diff line change
Expand Up @@ -38,8 +38,6 @@ import ..Oscar: AbstractAlgebra, addeq!, characteristic, elem_type, divexact, ge
has_preimage_with_preimage, is_root_of_unity, is_unit, mul!, parent,
parent_type, promote_rule, root, root_of_unity, roots

import ..Oscar: Solve

using Hecke
import Hecke: conductor, data

Expand Down

0 comments on commit 83564e1

Please sign in to comment.