Implemenetation of partially defined evaluations in ParametricRealField - #91

Open

ComboProblem wants to merge 38 commits into

mkoeppe:masterfrom

ComboProblem:partial_test_point_impl

Commits on Aug 22, 2025

Commits on Aug 28, 2025

inprogress
ComboProblem
committed
387f177

Commits on Aug 30, 2025

working partial test point more, next step fix doc string tests
ComboProblem
committed
56baa49
finish comments; clean up tests.
ComboProblem
committed
921178f
remove some comments
ComboProblem
committed
81d9b6c

Commits on Sep 30, 2025

finish fixing tests
ComboProblem
committed
29ae8eb
linting
ComboProblem
committed
a9cf7cc
spelling fixes
ComboProblem
committed
b2aef97
minor fixes
ComboProblem
committed
4f19888

Commits on Oct 3, 2025

cutgeneratingfunctionology/igp/parametric.sage: Remove use of deprecated is_... functions

mkoeppe
authored and
ComboProblem
committed
10fad46
cutgeneratingfunctionology/spam/basic_semialgebraic.py: Remove use of deprecated is_... functions

mkoeppe
authored and
ComboProblem
committed
8d71c4c
cutgeneratingfunctionology/spam/real_set.py: Add # needs

mkoeppe
authored and
ComboProblem
committed
d697cc4
cutgeneratingfunctionology/spam/basic_semialgebraic_linear_system.py: Add # needs

mkoeppe
authored and
ComboProblem
committed
9d0816f
tox.ini (passagemath): Fix up

mkoeppe
authored and
ComboProblem
committed
034b336
pyproject.toml (passagemath extra): Unpin

mkoeppe
authored and
ComboProblem
committed
c85d95f
_doctest_environment.py: New

mkoeppe
authored and
ComboProblem
committed
99f267d
.gitignore: Add more

mkoeppe
authored and
ComboProblem
committed
36d1ae1
README.rst: Document passagemath install method

mkoeppe
authored and
ComboProblem
committed
d847df2
add _partial_eval method to ParametricRealField
ComboProblem
committed
482d4c4
update doc to design goals for partial test points
ComboProblem
committed
3a069d2
change assume_comparison to support partial evaluations
ComboProblem
committed
d587a85
fix syntax
ComboProblem
committed
6ef0a19
move FactorUndetermined to its own file to make it a shared resouce
ComboProblem
committed
60e52cc
inprogress
ComboProblem
committed
5356570
working partial test point more, next step fix doc string tests
ComboProblem
committed
17fbbe5
finish comments; clean up tests.
ComboProblem
committed
9d4bee4
remove some comments
ComboProblem
committed
6e65420
finish fixing tests
ComboProblem
committed
d34a17c
linting
ComboProblem
committed
2c70459
spelling fixes
ComboProblem
committed
cdec380
minor fixes
ComboProblem
committed
9ee2358
Merge branch 'partial_test_point_impl' of https://github.com/ComboProblem/cutgeneratingfunctionology into partial_test_point_impl
ComboProblem
committed
f93f218
well it works
ComboProblem
committed
7758377

Commits on Oct 28, 2025

change location of parametric exceptions
ComboProblem
committed
5475144