Skip to content

Commit

Permalink
reacting to the discussion
Browse files Browse the repository at this point in the history
  • Loading branch information
wdecker committed Oct 28, 2024
1 parent bdf8898 commit 6faf888
Showing 1 changed file with 1 addition and 29 deletions.
30 changes: 1 addition & 29 deletions docs/src/CommutativeAlgebra/affine_algebras.md
Original file line number Diff line number Diff line change
Expand Up @@ -294,36 +294,8 @@ minimal_generating_set(I::MPolyQuoIdeal{<:MPolyDecRingElem})

#### Intersection of Ideals

```@julia
```@docs
intersect(a::MPolyQuoIdeal{T}, bs::MPolyQuoIdeal{T}...) where T
intersect(V::Vector{MPolyQuoIdeal{T}}) where T
```

Return the intersection of two or more ideals.

###### Examples

```jldoctest
julia> R, (x, y) = polynomial_ring(QQ, [:x, :y]);
julia> A, _ = quo(R, ideal(R, [x^2-y^3, x-y]));
julia> a = ideal(A, [y^2])
Ideal generated by
y^2
julia> b = ideal(A, [x])
Ideal generated by
x
julia> intersect(a,b)
Ideal generated by
x*y
julia> intersect([a,b])
Ideal generated by
x*y
```

#### Ideal Quotients
Expand Down

0 comments on commit 6faf888

Please sign in to comment.