passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD
Project description
About SageMath
- “Creating a Viable Open Source Alternative to
Magma, Maple, Mathematica, and MATLAB”
Copyright (C) 2005-2024 The Sage Development Team
SageMath fully supports all major Linux distributions, recent versions of macOS, and Windows (Windows Subsystem for Linux).
See https://doc.sagemath.org/html/en/installation/index.html for general installation instructions.
About this pip-installable distribution package
This pip-installable source distribution sagemath-qepcad provides an interface to QEPCAD.
Example
- ::
$ pipx run –pip-args=”–prefer-binary” –spec “passagemath-qepcad[test]” ipython
In [1]: from sage.all__sagemath_symbolics import *
In [2]: var(‘x,y’)
In [3]: ellipse = 3*x^2 + 2*x*y + y^2 - x + y - 7
In [4]: F = qepcad_formula.exists(y, ellipse == 0); F
In [5]: qepcad(F)
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distributions
File details
Details for the file passagemath_qepcad-10.4.57.tar.gz.
File metadata
- Download URL: passagemath_qepcad-10.4.57.tar.gz
- Upload date:
- Size: 28.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 58e2c158b0a00672953881d44892d7cabc169585a2381b6e0a21de196973a330 |
|
| MD5 | 6459893b436fa2849c7cfba4f7f864cc |
|
| BLAKE2b-256 | 00eb2121f725c7a72e9a87cb93f68317cf1f2c6a7c1e2535e0f868ab4614c849 |
File details
Details for the file passagemath_qepcad-10.4.57-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 5.4 MB
- Tags: CPython 3.12, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.5+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 5552e22d53438aa4b9451af84b0cf66a7b93ec3f447d0afd983cb4de570edcd2 |
|
| MD5 | 416e012ae02a38427c4e74bd7b874bb5 |
|
| BLAKE2b-256 | 9e3539d48bd5bc9c282408d8b0759f4cdff471a31efbf425a5bb9ccc3788db30 |
File details
Details for the file passagemath_qepcad-10.4.57-cp312-cp312-macosx_14_0_arm64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp312-cp312-macosx_14_0_arm64.whl
- Upload date:
- Size: 559.1 kB
- Tags: CPython 3.12, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f7b900ed4467a90b5c08e7a66618662ac2192e2bd39d6731e42c210d54ef6e31 |
|
| MD5 | e6a12a2b9b257a73eff7823bfee76648 |
|
| BLAKE2b-256 | 49ac1064c5fc14602dcc9dfa0074afd330abcfde3caa90ed3aec6706c9e15ec7 |
File details
Details for the file passagemath_qepcad-10.4.57-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 5.4 MB
- Tags: CPython 3.11, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.5+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | cc9b46cacd0365b7df0cc312c17734cdeac8b97c9821bed6f0b623aaa9c822ee |
|
| MD5 | 79a58aa9e2a3cb987899a68b5d26fcfe |
|
| BLAKE2b-256 | 2bb3108733fbf3caa4839ba57115baf0b968fd85291b46df5991cfb68b83790a |
File details
Details for the file passagemath_qepcad-10.4.57-cp311-cp311-macosx_14_0_arm64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp311-cp311-macosx_14_0_arm64.whl
- Upload date:
- Size: 559.1 kB
- Tags: CPython 3.11, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a7ce41836f8dbe3c02df55cb5b7cc8a72631b710544eb53c96549094bc69fbef |
|
| MD5 | e32601fc3e56e95c5b9285a2898057f9 |
|
| BLAKE2b-256 | 9b8bf145457bdd4d9b9675e11f89d795a6f6dafe9336e450123513a9c82cb60c |
File details
Details for the file passagemath_qepcad-10.4.57-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 5.4 MB
- Tags: CPython 3.10, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.5+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4e8dca482285d290b5da230c5f9fea63fbf5acf27113689221b641df3863d52b |
|
| MD5 | f06875704557ede036d702bf9ac03048 |
|
| BLAKE2b-256 | 7d3b86cc3cf94954d558e88914a8b6dbc21cedd3a86cea3f563cfb5508cc99f9 |
File details
Details for the file passagemath_qepcad-10.4.57-cp310-cp310-macosx_14_0_arm64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp310-cp310-macosx_14_0_arm64.whl
- Upload date:
- Size: 559.3 kB
- Tags: CPython 3.10, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 5b9e2ee0fbc9c41b61d585fab87f46d571ec5149afb4613370584176e73013a8 |
|
| MD5 | 30d6295508e4f9895b8b4b9b6960ed7f |
|
| BLAKE2b-256 | 4ecf98b68411e37ec8904d3bffc3e1fb67c15f2bc929d7505d604ffb98025cef |
File details
Details for the file passagemath_qepcad-10.4.57-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 5.4 MB
- Tags: CPython 3.9, manylinux: glibc 2.17+ x86-64, manylinux: glibc 2.5+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | b57104e1f7a5cf1b7e49e39b7ba494f82941dacef8309d30e70e068ed0ed953c |
|
| MD5 | 68070633794fd324d55d92a54aa79acc |
|
| BLAKE2b-256 | 18e3c0870f9e34c59e636d3cf2005e693b83d02c8a65ea7f0b15908f1eb0b6a5 |
File details
Details for the file passagemath_qepcad-10.4.57-cp39-cp39-macosx_14_0_arm64.whl.
File metadata
- Download URL: passagemath_qepcad-10.4.57-cp39-cp39-macosx_14_0_arm64.whl
- Upload date:
- Size: 559.3 kB
- Tags: CPython 3.9, macOS 14.0+ ARM64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 2045be5fa8d153c4876404e4aa944824bf439eebb162d18bb2b235cd0cd4777d |
|
| MD5 | 30c6e577913b3c957e3b2448ba65b618 |
|
| BLAKE2b-256 | a2d88e47f993732919c0dd30bb0567f40b38d1db40406d0f5c8e6648fe072502 |
