Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.

Commit 8c459943 authored 1 year ago by Andreas Enge

Clear FLINT at the same time as PARI.

* lib/pari.c (cm_pari_clear): Add a call to flint_cleanup.
* lib/mpzx.c (mpzx_oneroot_split_mod): Drop call to flint_cleanup.

parent 8b429265

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing with 4 additions and 4 deletions

Please register or to comment