diff --git a/Project.toml b/Project.toml index 6f0f23f62314..b515d2643e9a 100644 --- a/Project.toml +++ b/Project.toml @@ -36,7 +36,7 @@ JSON = "^0.20, ^0.21" JSON3 = "1.13.2" LazyArtifacts = "1.6" Markdown = "1.6" -Nemo = "0.48.0" +Nemo = "0.49.0" Pkg = "1.6" Polymake = "0.11.20" ProgressMeter = "1.10.2" diff --git a/docs/src/NumberTheory/abelian_closure.md b/docs/src/NumberTheory/abelian_closure.md index e5165ddca630..b19af2cb6960 100644 --- a/docs/src/NumberTheory/abelian_closure.md +++ b/docs/src/NumberTheory/abelian_closure.md @@ -41,7 +41,7 @@ julia> K, z = abelian_closure(QQ) (Abelian closure of rational field, Generator of abelian closure of rational field) julia> F = algebraic_closure(QQ) -Field of algebraic numbers +Algebraic closure of rational field julia> x = z(5) zeta(5) diff --git a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl index 9c3ecd89ef3c..385a3f3c68cb 100644 --- a/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl +++ b/experimental/FTheoryTools/src/AbstractFTheoryModels/attributes.jl @@ -1146,7 +1146,7 @@ with summands sl_2 sl_2 linear Lie algebra -over field of algebraic numbers +over algebraic closure of rational field ``` """ function gauge_algebra(m::AbstractFTheoryModel) diff --git a/test/book/cornerstones/groups/intro.jlcon b/test/book/cornerstones/groups/intro.jlcon index 4ae590df2d08..bba1220e3424 100644 --- a/test/book/cornerstones/groups/intro.jlcon +++ b/test/book/cornerstones/groups/intro.jlcon @@ -26,7 +26,7 @@ julia> @perm (1,2)(4,5) # cycle notation via macro (1,2)(4,5) julia> K = algebraic_closure(QQ) -Field of algebraic numbers +Algebraic closure of rational field julia> e = one(K) Root 1.00000 of x - 1 @@ -40,7 +40,7 @@ julia> mat_sigma1 = matrix(K, [ -1 0 ; 0 1 ]); julia> G_mat = matrix_group(mat_rot, mat_sigma1) Matrix group of degree 2 - over field of algebraic numbers + over algebraic closure of rational field julia> is_isomorphic(G_mat, G_perm) true