Assertions.jl moved to AA

oscar-system · Sep 20, 2024 · f840cf7 · f840cf7
1 parent 63a4bfd
commit f840cf7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Rings/AbelianClosure.jl b/src/Rings/AbelianClosure.jl
@@ -36,7 +36,7 @@ import Base: +, *, -, //, ==, zero, one, ^, div, isone, iszero,
 
 import ..Oscar: AbstractAlgebra, add!, base_ring, base_ring_type, characteristic, elem_type, divexact, gen,
                 has_preimage_with_preimage, is_root_of_unity, is_unit, mul!, neg!, parent,
-                parent_type, promote_rule, root, root_of_unity, roots
+                parent_type, promote_rule, root, root_of_unity, roots, @req
 
 using Hecke
 import Hecke: conductor, data
@@ -774,7 +774,7 @@ AbstractAlgebra.promote_rule(::Type{QQAbFieldElem}, ::Type{QQFieldElem}) = QQAbF
 ###############################################################################
 
 function Oscar.root(a::QQAbFieldElem, n::Int)
-  Hecke.@req is_root_of_unity(a) "Element must be a root of unity"
+  @req is_root_of_unity(a) "Element must be a root of unity"
   o = Oscar.order(a)
   l = o*n
   mu = root_of_unity2(parent(a), Int(l))

diff --git a/test/book/test.jl b/test/book/test.jl
@@ -211,7 +211,7 @@ isdefined(Main, :FakeTerminals) || include(joinpath(pkgdir(REPL),"test","FakeTer
             println("  created mockrepl: $(mockrepl.mockdule)")
 
             # clear verbosity levels before each chapter
-            empty!(Hecke.VERBOSE_LOOKUP)
+            empty!(AbstractAlgebra.VERBOSE_LOOKUP)
 
             copy!(LOAD_PATH, custom_load_path)
             auxmain = joinpath(Oscar.oscardir, "test/book", chapter, "auxiliary_code", "main.jl")