diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl index 5e00d1ebc382..5bc7f57aea79 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl @@ -46,7 +46,7 @@ Affine scheme morphism from [x1, x2, x3] scheme(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 @@ -95,7 +95,7 @@ Affine scheme morphism from [x1, x2, x3] scheme(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 @@ -143,7 +143,7 @@ Ring homomorphism from multivariate polynomial ring in 3 variables over QQ to quotient of multivariate polynomial ring by ideal (x1) defined by - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 ``` @@ -254,7 +254,7 @@ Affine scheme morphism from [x1, x2, x3] scheme(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl index 2b5e02d949ff..56f8667ba51a 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl @@ -132,7 +132,7 @@ Affine scheme morphism from [x1, x2, x3] scheme(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 @@ -181,7 +181,7 @@ Affine scheme morphism from [x1, x2, x3] scheme(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function - x1 -> 0 + x1 -> x1 x2 -> x2 x3 -> x3 diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl index 8b9d9f96e7e1..2ad15abb7fac 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl @@ -234,7 +234,7 @@ Affine scheme morphism from [x, y] scheme(x) to [x, y] affine 2-space over QQ given by the pullback function - x -> 0 + x -> x y -> y julia> inc == inclusion_morphism(Y, X)