镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

Add public .prec attribute to series - #289

Merged
oscarbenjamin merged 8 commits into
flintlib:mainfrom
oscarbenjamin:pr_prec
Jun 23, 2025
Merged

oscarbenjamin merged 8 commits into
flintlib:mainfrom
oscarbenjamin:pr_prec

Conversation

@oscarbenjamin

Copy link
Copy Markdown
Collaborator

Adds .prec attribute to fmpz_series, fmpq_series, arb_series and acb_series.

Also fixes the doctest runner to run all tests and fixes some doctests.

Make sure that doctests use the correct precision.

Adds .prec attribute to fmpz_series, fmpq_series, arb_series and acb_series.

Also fixes the doctest runner to run all tests and fixes some doctests.

Make sure that doctests use the correct precision.
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.

1 participant