Show explicitly that all coefficients are 1 in first cut equation

This commit is contained in:
Aaron Fenyes 2024-02-09 17:09:43 -05:00
parent f97090c997
commit 95c0ff14b2

View File

@ -261,7 +261,7 @@ println("Two points on a sphere: ", Engine.dimension(ideal_ab_s), " degrees of f
# --- test rational cut ---
cut = [
sum(vcat(a.coords, (s.coords - [0, 0, 0, 0, 1])))
sum(vcat([1, 1, 1] .* a.coords, [1, 1, 1, 1, 1] .* (s.coords - [0, 0, 0, 0, 1])))
sum(vcat([2, 1, 1] .* a.coords, [1, 2, 1, 1, 1] .* (s.coords - [0, 0, 0, 0, 1])))
sum(vcat([1, 2, 0] .* a.coords, [1, 1, 0, 1, 2] .* (s.coords - [0, 0, 0, 0, 1])))
]