Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gr: Add context methods #255

Merged
merged 6 commits into from
Jan 31, 2025
Merged

gr: Add context methods #255

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
8613fd3
gr: Add is_{zero,one,neg_one} to contexts
Tom-Hubrecht Jan 28, 2025
e47b2a3
Add context methods for neg, add, sub and mul
Tom-Hubrecht Jan 29, 2025
ebcbb66
test: Allow skipping some docstring tests based on flint version
Tom-Hubrecht Jan 29, 2025
7044f11
Add more gr_ctx methods
Tom-Hubrecht Jan 30, 2025
8ec4fbd
fix: Define error values for functions not present in flint
Tom-Hubrecht Jan 30, 2025
8b7f0c6
Add gr_ctx factor
Tom-Hubrecht Jan 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 20 additions & 0 deletions src/flint/flintlib/types/gr.pxd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,26 @@ from flint.flintlib.types.flint cimport (
flint_bitcnt_t,
)

cdef extern from *:
"""
/*
* The following functions were introduced in FLINT 3.2.0
*/

#if __FLINT_RELEASE < 30200
#define gr_min(res, x, y, ctx) GR_UNABLE
#define gr_max(res, x, y, ctx) GR_UNABLE
#define gr_le(x, y, ctx) T_UNKNOWN
#define gr_lt(x, y, ctx) T_UNKNOWN
#define gr_ge(x, y, ctx) T_UNKNOWN
#define gr_gt(x, y, ctx) T_UNKNOWN
#define gr_abs_le(x, y, ctx) T_UNKNOWN
#define gr_abs_lt(x, y, ctx) T_UNKNOWN
#define gr_abs_ge(x, y, ctx) T_UNKNOWN
#define gr_abs_gt(x, y, ctx) T_UNKNOWN
#endif
"""


cdef extern from "flint/gr.h":

Expand Down
18 changes: 14 additions & 4 deletions src/flint/test/test_docstrings.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,12 @@

import flint

dunder_test_regex = re.compile(r'^(.*?)__test__\..*?\.(.*) \(line (\d+)\)$')
dunder_test_regex = re.compile(r'^(.*?)__test__\.(.*?\.)(.*) \(line (\d+)\)$')

test_flint_at_least = {
"flint.types._gr.gr_ctx.gens": 30100,
"flint.types._gr.gr_ctx.neg": 30100,
}


def find_doctests(module):
Expand All @@ -20,9 +25,14 @@ def find_doctests(module):
m = dunder_test_regex.match(test.name)
if m is not None:
groups = m.groups()
test.name = groups[0] + groups[1]
test.lineno = int(groups[2])
res.append(test)
test.name = groups[0] + groups[2]
test.lineno = int(groups[3])

if (
test_flint_at_least.get("".join(groups[:3]), flint.__FLINT_RELEASE__)
<= flint.__FLINT_RELEASE__
):
res.append(test)

tests.append((module_info.name, res))

Expand Down
Loading
Loading