Merge pull request oscar-system#11 from AlexD97/AbstractAlgebra_matrix

Abstract algebra matrix
HereAround · May 19, 2021 · 452e23a · 452e23a
2 parents 371f5c7 + 52a7867
commit 452e23a
Show file tree

Hide file tree

Showing 17 changed files with 1,360 additions and 390 deletions.
diff --git a/Project.toml b/Project.toml
@@ -22,7 +22,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 AbstractAlgebra = "0.16.0"
 DocStringExtensions = "0.8"
 GAP = "0.5"
-Hecke = "0.10.4"
+Hecke = "0.10.5"
 Nemo = "0.22.1"
 Polymake = "0.5.5"
 RandomExtensions = "0.4.3"

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -6,3 +6,4 @@ DocumenterMarkdown = "997ab1e6-3595-5248-9280-8efb232c3433"
 Hecke = "3e1990a7-5d81-5526-99ce-9ba3ff248f21"
 Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
 Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
+Kroki = "b3565e16-c1f2-4fe9-b4ab-221c88942068"
diff --git a/docs/make_work.jl b/docs/make_work.jl
@@ -140,6 +140,25 @@ function Documenter.Documents.addpage!(doc::Document, src::AbstractString, dst::
     doc.blueprint.pages[name] = page
 end
 
+# Overwrite printing to make the header not full of redundant nonsense
+# Turns
+#   Hecke.Order - Method
+# into
+#   Order - Method
+
+# To remove the '-'
+# Documenter.Utilities.print_signature(io::IO, signature)        = print(io, signature)
+
+# To remove the "Method", "Type", "Module" use the following
+# Documenter.Utilities.doccat(b::Base.Docs.Binding, ::Type)  = ""
+# doccat(::Type)     = ""
+# doccat(::Module)   = ""
+
+# Remove the module prefix
+Base.print(io::IO, b::Base.Docs.Binding) = print(io, b.var)
+
+# Sanitize paths
+
 function sanitize(a::AbstractString, n::AbstractString)
   b = splitpath(replace(a, Regex(".*$(n)") => n))
   return joinpath(b[1], b[3:end]...)
@@ -157,15 +176,18 @@ const aa = sanitize(bla, "AbstractAlgebra")
 bib = CitationBibliography(joinpath(@__DIR__, "oscar_references.bib"))
 
 DocMeta.setdocmeta!(Oscar, :DocTestSetup, :(using Oscar); recursive = true)
+DocMeta.setdocmeta!(Hecke, :DocTestSetup, :(using Hecke); recursive = true)
 
 makedocs(bib,
          format   = Documenter.HTML(prettyurls = !local_build),
 #         format   = Documenter.HTML(),
 #         format   = Markdown(),
          sitename = "Oscar.jl",
-         modules = [Oscar],
+         modules = [Oscar, Hecke, Nemo, AbstractAlgebra, Singular],
          clean = true,
          doctest = true,
+         strict = true,
+         checkdocs = :none,
          pages    = [
              "index.md",
              "Rings" => [ "$(aa)/rings.md",

diff --git a/docs/oscar_references.bib b/docs/oscar_references.bib
@@ -57,7 +57,7 @@ @book{DP13
 collection={AIMS Library of Mathematical Sciences}
 }
 
-@InProceedings{KL91,
+@inproceedings{KL91,
 author="Krick, Teresa
 and Logar, Alessandro",
 editor="Mattson, Harold F.
@@ -69,7 +69,6 @@ @InProceedings{KL91
 publisher="Springer Berlin Heidelberg",
 address="Berlin, Heidelberg",
 pages="195--205",
-isbn="978-3-540-38436-6"
 }
 
 @article{Kem02,
@@ -139,4 +138,4 @@ @article{EHV92
  language = {English},
  MSC2010 = {13P10 13A05 13A15 13F20 13A10},
  Zbl = {0770.13018}
-}
+}
diff --git a/docs/src/Rings/affine.md b/docs/src/Rings/affine.md
@@ -21,10 +21,6 @@ R, x = PolynomialRing(QQ, :x=>1:3)
 Q, mQ = quo(R, ideal([x[1]^2-2, x[2]^2-3, x[3]^2-5]))
 ```
 
-```@docs
-quo(R::MPolyRing, I::MPolyIdeal)
-```
-
 ### Elements
 
 Elements are created by moving polynomials into the ring: