Commit 2025-05-13 17:38 bce1d651
View on Github →feat: x ∉ span R s
if insert x s
is linearly independent (#24852)
This is a simple corollary of existing results, but it is quite difficult to inline.
From Toric
feat: x ∉ span R s
if insert x s
is linearly independent (#24852)
This is a simple corollary of existing results, but it is quite difficult to inline.
From Toric