Skip to content

Commit 813f8ef

Browse files
authored
Add Clark and Harper rings for division of some not-norm-Euclidean rings with D>0 (#2)
1 parent 712d8ff commit 813f8ef

5 files changed

Lines changed: 1422 additions & 9 deletions

File tree

.github/workflows/ci.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,13 +31,14 @@ jobs:
3131
- name: Generate and place stubs
3232
shell: bash
3333
run: |
34-
python -m pip install --upgrade mypy "sympy<=1.12.1"
34+
python -m pip install --upgrade mypy "sympy<=1.12.1" "cypari"
3535
stubgen quadint/__init__.py --inspect-mode
3636
stubgen quadint/quad/__init__.py --inspect-mode
3737
stubgen quadint/eisenstein.py --include-docstrings
3838
stubgen quadint/complex.py --include-docstrings
3939
stubgen quadint/dual.py --include-docstrings
4040
stubgen quadint/split.py --include-docstrings
41+
stubgen quadint/utils.py --include-docstrings
4142
stubgen quadint/quad/int.py --include-private --include-docstrings --inspect-mode
4243
stubgen quadint/quad/rings.py --include-private --include-docstrings --inspect-mode
4344
mkdir -p quadint-stubs
@@ -48,6 +49,7 @@ jobs:
4849
mv out/quadint/complex.pyi quadint-stubs/complex.pyi
4950
mv out/quadint/dual.pyi quadint-stubs/dual.pyi
5051
mv out/quadint/split.pyi quadint-stubs/split.pyi
52+
mv out/quadint/utils.pyi quadint-stubs/utils.pyi
5153
mv out/quadint/quad/int.pyi quadint-stubs/quad/int.pyi
5254
mv out/quadint/quad/rings.pyi quadint-stubs/quad/rings.pyi
5355
rm -rf out

pyproject.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,12 @@ requires = [
88
# TODO: Sympy began adding mypy type-hints and removed the py.typed file.
99
# It is actively being worked on, see https://github.com/sympy/sympy/issues/17945
1010
"sympy<=1.12.1",
11+
"cypari",
1112
]
1213

1314
[project]
1415
name = "quadint"
15-
version = "0.0.17"
16+
version = "0.0.18"
1617
dynamic = ["license"]
1718
authors = [
1819
{ name="Ryan Heard", email="ryanwheard@gmail.com" },
@@ -45,6 +46,10 @@ test = [
4546
"ruff",
4647
]
4748

49+
pari = [
50+
"cypari",
51+
]
52+
4853
[project.urls]
4954
Repository = "https://github.com/rheard/quadint"
5055

@@ -70,9 +75,14 @@ test-command=[
7075
[tool.cibuildwheel.linux]
7176
environment-pass = ["CI", "GITHUB_ACTIONS"]
7277

78+
[[tool.mypy.overrides]]
79+
module = ["cypari.*"]
80+
follow_untyped_imports = true
81+
7382
[tool.ruff]
7483
line-length = 120
7584
extend-exclude=["quadint-stubs"]
85+
exclude = [".venv", "*.pyi"]
7686

7787
[tool.ruff.lint]
7888
preview = true

0 commit comments

Comments
 (0)