Skip to content

Commit

Permalink
Remove global Flint* objects (#1935)
Browse files Browse the repository at this point in the history
* Remove FlintQQ

* Remove FlintZZ

* Remove FlintZZi

* Remove FlintQQ
  • Loading branch information
lgoettgens authored Dec 13, 2024
1 parent 24ac955 commit a67724b
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 19 deletions.
4 changes: 0 additions & 4 deletions src/Exports.jl
Original file line number Diff line number Diff line change
Expand Up @@ -203,10 +203,6 @@ export FlintPuiseuxSeriesField
export FlintPuiseuxSeriesFieldElem
export FlintPuiseuxSeriesRing
export FlintPuiseuxSeriesRingElem
export FlintQQ
export FlintQQi
export FlintZZ
export FlintZZi
export flog
export floor
export fmma!
Expand Down
15 changes: 0 additions & 15 deletions src/Nemo.jl
Original file line number Diff line number Diff line change
Expand Up @@ -557,21 +557,6 @@ const _ecm_nC = Int[25, 90, 300, 700, 1800, 5100, 10600, 19300, 49000, 124000, 2
const _ecm_B1s = Vector{Int}[_ecm_B1]
const _ecm_nCs = Vector{Int}[_ecm_nC]

###############################################################################
#
# Set domain for ZZ, QQ to Flint
#
###############################################################################

@doc zz_ring_doc
const FlintZZ = ZZ

@doc qq_field_doc
const FlintQQ = QQ

const FlintZZi = ZZi

const FlintQQi = QQi

###############################################################################
#
Expand Down

0 comments on commit a67724b

Please sign in to comment.