Version 0.7.0

Also update the README.md example

Project.toml

@@ -1,7 +1,7 @@
 name = "Oscar"
 uuid = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"
 authors = ["Claus Fieker <fieker@mathematik.uni-kl.de>", "Giovanni De Franceschi <franceschi@mathematik.uni-kl.de>", "Johannes Schmitt <schmitt@mathematik.uni-kl.de>", "Max Horn <horn@mathematik.uni-kl.de>", "William Hart <goodwillhart@googlemail.com>", "Taylor Brysiewicz <taylor.brysiewicz@mis.mpg.de>", "Michael Joswig <joswig@math.tu-berlin.de>", "Marek Kaluba <kalmar@amu.edu.pl>", "Sascha Timme <sascha.timme@googlemail.com>", "Sebastian Gutsche <gutsche@momo.math.rwth-aachen.de>"]
-version = "0.6.1-DEV"
+version = "0.7.0"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

README.md

@@ -28,44 +28,43 @@ instructions](https://oscar.computeralgebra.de/install/) on our website.
 
 ```julia
 julia> using Oscar
-...
- -----    -----    -----      -      -----   
-|     |  |     |  |     |    | |    |     |  
-|     |  |        |         |   |   |     |  
-|     |   -----   |        |     |  |-----   
-|     |        |  |        |-----|  |   |    
-|     |  |     |  |     |  |     |  |    |   
- -----    -----    -----   -     -  -     -  
-
-...combining (and extending) GAP, Hecke, Nemo, Polymake and Singular
-Version 0.5.1-DEV ... 
- ... which comes with absolutely no warranty whatsoever
+ -----    -----    -----      -      -----
+|     |  |     |  |     |    | |    |     |
+|     |  |        |         |   |   |     |
+|     |   -----   |        |     |  |-----
+|     |        |  |        |-----|  |   |
+|     |  |     |  |     |  |     |  |    |
+ -----    -----    -----   -     -  -     -
+
+...combining (and extending) ANTIC, GAP, Polymake and Singular
+Version 0.6.1-DEV ...
+... which comes with absolutely no warranty whatsoever
 Type: '?Oscar' for more information
 (c) 2019-2021 by The Oscar Development Team
 
-
 julia> k, a = quadratic_field(-5)
-(Number field over Rational Field with defining polynomial x^2+5, sqrt(-5))
+(Imaginary quadratic field defined by x^2 + 5, sqrt(-5))
 
 julia> zk = maximal_order(k)
-Maximal order of Number field over Rational Field with defining polynomial x^2+5
+Maximal order of Imaginary quadratic field defined by x^2 + 5
 with basis nf_elem[1, sqrt(-5)]
 
 julia> factorisations(zk(6))
-2-element Vector{Fac{NfAbsOrdElem{AnticNumberField,nf_elem}}}:
- -1 * (2) * (-3)
- -1 * (sqrt(-5)+1) * (sqrt(-5)-1)
+2-element Vector{Fac{NfOrdElem}}:
+ -1 * (sqrt(-5) + 1) * (sqrt(-5) - 1)
+ -1 * 2 * -3
 
-julia> Qx, x = PolynomialRing(QQ, :x=>1:2)
+julia> Qx, x = PolynomialRing(QQ, [:x1,:x2])
 (Multivariate Polynomial Ring in x1, x2 over Rational Field, fmpq_mpoly[x1, x2])
 
-julia> R = grade(Qx, [1,2])
-Multivariate Polynomial Ring in x1, x2 over Rational Field graded by 
-        x1 -> [1]
-        x2 -> [2]
+julia> R = grade(Qx, [1,2])[1]
+Multivariate Polynomial Ring in x1, x2 over Rational Field graded by
+  x1 -> [1]
+  x2 -> [2]
 
 julia> f = R(x[1]^2+x[2])
 x1^2 + x2
+
 julia> degree(f)
 graded by [2]
 
@@ -76,18 +75,7 @@ julia> s = sub(F, [f*F[1]])
 Subquotient by Array of length 1
 1 -> (x1^2 + x2)*e[1]
 
-a> mH(H[1])
-Map with following data
-Domain:
-=======
-s
-Codomain:
-=========
-Subquotient of Array of length 1
-1 -> (1)*e[1]
- by Array of length 1
-1 -> (x1^2 + x2)*e[1]
-defined on the Singular side
+
 
 julia> H, mH = hom(s, quo(F, s))
 (hom of (s, Subquotient of Array of length 1
@@ -110,13 +98,30 @@ defined on the Singular side
  defined by a julia-function with inverse
 )
 
-julia> D = decoration(H)
+julia> mH(H[1])
+Map with following data
+Domain:
+=======
+s
+Codomain:
+=========
+Subquotient of Array of length 1
+1 -> (1)*e[1]
+ by Array of length 1
+1 -> (x1^2 + x2)*e[1]
+defined on the Singular side
+
+
+
+
+julia> D = grading_group(H)
 GrpAb: Z
 
 julia> homogeneous_component(H, D[0])
 (H_[0] of dim 2, Map from
 H_[0] of dim 2 to H defined by a julia-function with inverse
 )
+
 ```
 
 Of course, the cornerstones are also available directly:
@@ -135,7 +140,6 @@ PropertyValue wrapping pm::Array<polymake::topaz::HomologyGroup<pm::Integer>>
 ({} 0)
 ({(2 1)} 0)
 ({} 0)
-
 ```
 
 ## Funding