Remove assertions.jl now moved to AA (thofma#1607)

lgoettgens · Sep 19, 2024 · d0ba956 · d0ba956
1 parent 1bcbe5d
commit d0ba956
Show file tree

Hide file tree

Showing 43 changed files with 118 additions and 829 deletions.
diff --git a/docs/Build.jl b/docs/Build.jl
@@ -43,15 +43,14 @@ using Pkg, Nemo, Documenter, DocumenterVitepress, DocumenterCitations
                       "pmat/introduction.md",
                       "misc/conjugacy.md",
                       ],
-          "Extra features" => ["features/macros.md",
-                               "features/mset.md",
+          "Extra features" => ["features/mset.md",
                               ],
           "Examples" => "examples.md",
           "References" => "references.md",
           "Developer" => [ "dev/test.md",
                          ]
          ]
- 
+
 # Overwrite printing to make the header not full of redundant nonsense
 # Turns
 #   Hecke.Order - Method

diff --git a/docs/src/manual/developer/macros.md b/docs/src/manual/developer/macros.md
diff --git a/src/AlgAss/StructureConstantAlgebra.jl b/src/AlgAss/StructureConstantAlgebra.jl
@@ -1,5 +1,3 @@
-add_assertion_scope(:StructureConstantAlgebra)
-
 ################################################################################
 #
 #  Derived types
@@ -146,7 +144,7 @@ end
 
 @doc raw"""
     structure_constant_algebra(K::SimpleNumField) -> StructureConstantAlgebra, Map
- 
+
 Given a number field $L/K$, return $L$ as a $K$-algebra $A$ together with a
 $K$-linear map $A \to L$.
 

diff --git a/src/AlgAssAbsOrd/Conjugacy.jl b/src/AlgAssAbsOrd/Conjugacy.jl
@@ -1,6 +1,3 @@
-add_verbosity_scope(:Conjugacy)
-add_assertion_scope(:Conjugacy)
-
 include("Conjugacy/Husert.jl")
 include("Conjugacy/Lifting.jl")
 include("Conjugacy/Random.jl")

diff --git a/src/AlgAssAbsOrd/LocallyFreeClassGroup.jl b/src/AlgAssAbsOrd/LocallyFreeClassGroup.jl
@@ -4,8 +4,6 @@
 #
 ################################################################################
 
-add_verbosity_scope(:LocallyFreeClassGroup)
-
 # Bley, Boltje "Computation of Locally Free Class Groups"
 # If the left and right conductor of O in a maximal order coincide (which is the
 # case if O is the integral group ring of a group algebra), the computation can

diff --git a/src/AlgAssAbsOrd/Order.jl b/src/AlgAssAbsOrd/Order.jl
@@ -1,6 +1,3 @@
-add_assertion_scope(:AlgAssOrd)
-add_verbosity_scope(:AlgAssOrd)
-
 elem_type(::Type{AlgAssAbsOrd{S, T}}) where {S, T} = AlgAssAbsOrdElem{S, T}
 
 ideal_type(::AlgAssAbsOrd{S, T}) where {S, T} = AlgAssAbsOrdIdl{S, T}

diff --git a/src/AlgAssAbsOrd/PIP.jl b/src/AlgAssAbsOrd/PIP.jl
@@ -1,6 +1,3 @@
-add_verbosity_scope(:PIP)
-add_assertion_scope(:PIP)
-
 ################################################################################
 #
 #  Is principal for maximal orders