Repository navigation

Full test and typing coverage - #367

Merged

oscarbenjamin merged 27 commits into

flintlib:mainfrom

oscarbenjamin:pr_typing

Feb 22, 2026

Commits on Feb 13, 2026
- Fix bash syntax for if statement
  oscarbenjamin
  committed
  08a515d
- Fix outstanding mypy errors in test_all.py
  oscarbenjamin
  committed
  a56eaea
Commits on Feb 14, 2026
- arf: add mixed-mode arithmetic and type stubs
  oscarbenjamin
  committed
  fd77981
- arb: add typing stubs and full test coverage
  oscarbenjamin
  committed
  b8c7567
- ctx: add type stubs for FlintContext
  oscarbenjamin
  committed
  58e2bb1
- acb: add tests and type annotations
  oscarbenjamin
  committed
  ee120ed
- arb_poly: add tests and typing
  oscarbenjamin
  committed
  b53c72f
- acb: full test coverage and typing
  oscarbenjamin
  committed
  7a0f983
- arb_series: tests and typing
  oscarbenjamin
  committed
  e19a176
- acb_series: tests and typing
  oscarbenjamin
  committed
  8e19d46
- coverage_plugin: honour pragma: no cover
  oscarbenjamin
  committed
  198f6a1
- fmpz_vec: typing and tests
  oscarbenjamin
  committed
  0c33f73
- fmpq_vec: typing and tests
  oscarbenjamin
  committed
  9604c20
- fmpz_mat: add type stubs
  oscarbenjamin
  committed
  ce20933
- fmpz_mat: add type stubs
  oscarbenjamin
  committed
  f82dde8
Commits on Feb 15, 2026
- nmod_mat.pyx: add type annotations
  oscarbenjamin
  committed
  db112c5
- fmpz_mod_mat: add type stubs
  oscarbenjamin
  committed
  ee382ab
- arb_mat: add typing and tests
  oscarbenjamin
  committed
  e86c35d
- acb_mat: add type stubs
  oscarbenjamin
  committed
  e8a296a
- dirichlet: add type stubs and tests
  oscarbenjamin
  committed
  b8e95bb
- acb_theta: add type stubs
  oscarbenjamin
  committed
  dfa3264
- Fix lint issue
  oscarbenjamin
  committed
  8b4c20d
- Add _has_acb_theta function
  oscarbenjamin
  committed
  cf2d330
- Relax tolerance in acb_poly roots test
  oscarbenjamin
  committed
  ed0a59c
- Fix is_close tolerance in tests
  oscarbenjamin
  committed
  5bad07d
Commits on Feb 21, 2026
- typ: fix type annotations for poly roots methods
  oscarbenjamin
  committed
  52967d2
- typ: fix annotations for real_roots
  oscarbenjamin
  committed
  39ba35c