Skip to content

mbasis/pmbasis/approximants: add test for generation#25

Merged
vneiger merged 1 commit intomainfrom
add_mbasis_generation_test
Dec 19, 2025
Merged

mbasis/pmbasis/approximants: add test for generation#25
vneiger merged 1 commit intomainfrom
add_mbasis_generation_test

Conversation

@vneiger
Copy link
Owner

@vneiger vneiger commented Dec 19, 2025

Fixes #23

Completes the fix of this by adding a generation test for approximant basis computations (method based on work with Pascal Giorgi, ISSAC 2018).

@vneiger vneiger merged commit 6a72509 into main Dec 19, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[flint-extras] mbasis: incorrect on edge case / verification to be completed

1 participant