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

Repository navigation

gr: Add context methods - #255

Merged

oscarbenjamin merged 6 commits into

flintlib:mainfrom

Tom-Hubrecht:gr-ctx-methods

Jan 31, 2025

Merged

gr: Add context methods#255
oscarbenjamin merged 6 commits into
flintlib:mainfrom
Tom-Hubrecht:gr-ctx-methods

Commits on Jan 28, 2025
- gr: Add is_{zero,one,neg_one} to contexts
  Tom-Hubrecht
  committed
  8613fd3
Commits on Jan 29, 2025
- Add context methods for neg, add, sub and mul
  Tom-Hubrecht
  committed
  e47b2a3
Commits on Jan 30, 2025
- test: Allow skipping some docstring tests based on flint version
  Tom-Hubrecht
  committed
  ebcbb66
- Add more gr_ctx methods
  Tom-Hubrecht
  committed
  7044f11
- fix: Define error values for functions not present in flint
  Tom-Hubrecht
  committed
  8ec4fbd
- Add gr_ctx factor
  Tom-Hubrecht
  committed
  8b7f0c6