Add new function `is_probably_zero_det` (for `ZZMatrix`, `QQMatrix`)#2152

Open

JohnAAbbott wants to merge 10 commits intoNemocas:masterfrom

JohnAAbbott:JAA/NEW-is_zero_det_probabilistic

Commits on Jan 14, 2026

Commits on Jan 15, 2026

Clarified text of doc for is_zero_det_probabilistic
JohnAAbbott
committed

Commits on Jan 21, 2026

Merge branch 'master' into JAA/NEW-is_zero_det_probabilistic
lgoettgens
authored

Commits on Mar 4, 2026

Renamed new fn to is_probably_zero_det
JohnAAbbott
committed