passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mkoeppe from gravatar.com mkoeppe

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v2 or later (GPLv2+) (GNU General Public License (GPL) v2 or later)
  • Author: The Sage Developers
  • Maintainer: Matthias Köppe, passagemath contributors
  • Requires: Python <3.13, >=3.9
  • Provides-Extra: test
Classifiers

Project description

About SageMath

“Creating a Viable Open Source Alternative to

Magma, Maple, Mathematica, and MATLAB”

Copyright (C) 2005-2024 The Sage Development Team

https://www.sagemath.org

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)

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mkoeppe from gravatar.com mkoeppe

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v2 or later (GPLv2+) (GNU General Public License (GPL) v2 or later)
  • Author: The Sage Developers
  • Maintainer: Matthias Köppe, passagemath contributors
  • Requires: Python <3.13, >=3.9
  • Provides-Extra: test
Classifiers

Release history Release notifications | RSS feed

This version

10.4.64

10.4.63

10.4.62

10.4.61

10.4.60

10.4.59

10.4.58

10.4.57

10.4.56

10.4.53

10.4.50

10.4.47

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

passagemath_qepcad-10.4.64.tar.gz (28.0 kB view details)

Uploaded Source

Built Distributions

passagemath_qepcad-10.4.64-cp312-cp312-musllinux_1_2_x86_64.whl (54.9 kB view details)

Uploaded CPython 3.12 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.64-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.64-cp312-cp312-macosx_14_0_arm64.whl (559.1 kB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_qepcad-10.4.64-cp312-cp312-macosx_13_0_x86_64.whl (573.8 kB view details)

Uploaded CPython 3.12 macOS 13.0+ x86-64

passagemath_qepcad-10.4.64-cp311-cp311-musllinux_1_2_x86_64.whl (54.9 kB view details)

Uploaded CPython 3.11 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.64-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.64-cp311-cp311-macosx_14_0_arm64.whl (559.0 kB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_qepcad-10.4.64-cp311-cp311-macosx_13_0_x86_64.whl (573.8 kB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

passagemath_qepcad-10.4.64-cp310-cp310-musllinux_1_2_x86_64.whl (54.0 kB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.64-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.64-cp310-cp310-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_qepcad-10.4.64-cp310-cp310-macosx_13_0_x86_64.whl (574.0 kB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

passagemath_qepcad-10.4.64-cp39-cp39-musllinux_1_2_x86_64.whl (53.8 kB view details)

Uploaded CPython 3.9 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.64-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.64-cp39-cp39-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.64-cp39-cp39-macosx_13_0_x86_64.whl (574.0 kB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

File details

Details for the file passagemath_qepcad-10.4.64.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.64.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

Hashes for passagemath_qepcad-10.4.64.tar.gz
Algorithm Hash digest
SHA256 3bad86243f2aa41c8c5bbe2b212221df87d69c9560208b3721c7091fdb8161b9
MD5 6b0cf7b7c196bceb1b523639f86cc350
BLAKE2b-256 3e0bc6f095febba77c7e6c50a22da39a5dd31092f382286965482e196e50c185

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e8da8c38ecb8a32f19b4dd0590c4fe7c7f6a1e5c8fe22a0518a7d1f7ddbdc4cb
MD5 316e0f529078e19b8bb35ffb83c2af64
BLAKE2b-256 40444da8ff5defe1bd2d3f6eb922dfaa27e411fca58212bb068efcc81ea3e5e8

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3f41765855234eed1ae9146da367aa5002a42e4f3e9e38e84bb32aaf00e4babb
MD5 ab15c03d6a075fa1393e01fe58ee495e
BLAKE2b-256 2ae44f2ee6ff3e4eb14fa71636cb3f7c87ca6f2099758d39f2a2f6f1244fa21f

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 2dbc2b98ef0a196a4c69079bd298cf0c9f3e16868e2ed0f133070cef601d49ef
MD5 fd78dd1e0b5966484badf1fe5ce9a361
BLAKE2b-256 a0a116cacbc7569261092b6788eba9cac0eaaae6023b89b40a2de1e6ac7ab927

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 202c38bc199488893245bc00006a895686ebde81e2cd6e65aca392788b5bf84a
MD5 2f9c7a46074d360c8a532d091f8a8963
BLAKE2b-256 bc146e6648c685745554c07d25bc1dcc2738b4b00998e72bf30ad4dc22d427fe

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e4a7481550d78c86386f08b94679181f5686a410f4c70e7afb859c477b33a3f9
MD5 e1f8f6611bb49086ce7ac3aaa490c152
BLAKE2b-256 b635d30a43fe5dfe2463b060eb099518afbc80672084c9606f5ccfa0077a9c1e

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e9e0e4091e57a0b1ab8e08f45c5cc5ebe976a86ec0cc8964491e8f65df99cd12
MD5 da34b811c11d41c7a8801994c14c517e
BLAKE2b-256 4fe065814bfd23354637273431e43d037cabdc4603d3becaee5c4c54e1f82094

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 b8e2bc9fea9572f73313849ba5c8a6961439343f78aa52407910cfbfbd2ed332
MD5 949e2dfb6b5689484e66bb78fb7d9e66
BLAKE2b-256 193ef4992b67e9e8516d93087e58a24ee10edbd9e9cafab72dd0a7aa8ef712e9

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 263fa7da8c0d07daf7458b943fd99e3a73007a1c690ba1e7eff17b4fd2047567
MD5 749c867a2d23b5cc9c18fc83ca1b466a
BLAKE2b-256 d0acaae5b5389a8f95fa1076ab2562ac4ac3cd87498d8f5bed421e54b9e64506

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c65d4c2e2605e2f55d0829bbe5217a4547877f5e113b5965bb18bbbb4cff4110
MD5 4c9c04acc8273e0de5daf74ffc10df1f
BLAKE2b-256 9eed519e7e829ab6813e461e31a6adc94d5f328c48b33575ab593e581e1fd9c4

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ba7d06fccb506ea17a1a5e7d46fa214437856e6c3266a04b52017fc38326c384
MD5 627e31e59ce81d42a6c6b43515e94896
BLAKE2b-256 85e34cad62135a709592445e251d01e60e21217507cf527105a07ae28b47f7d0

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 4ef3675231356ebd25ec7f1ac636bc336aa382e6acaa9eb51ad553dcfecc80a9
MD5 ddd2d058e0d9a41fa8d331757490dde2
BLAKE2b-256 b51843037325ecfb21115bd7210e042b3417e399032841b13d8c97907f0ef8de

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 75e93c313fd0cefbb5cf6272e25198c587e2fc65ca20b90c29370d4300c15f69
MD5 11a0039120452db84c672a2301de9272
BLAKE2b-256 5b5b7916da08f4c33ca68bebe5ccf34d794be69ccda32e075c234ad8b61825f7

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c8959a573022a3be963ba6a834feaef5576f9d3ced9c540ac95cbf50cda46506
MD5 ecd093be1539a62478557c420d034713
BLAKE2b-256 7744d39d262d8fc419145a25f750e5d3164a8fd2c8520579c48b4c72f796e51f

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 17d35c1b73412a4cf365c9c9c916bc4d996f5dc65a947d8b0267c7424957a48c
MD5 dae5653e20bcd0d467ead9321f8cf3df
BLAKE2b-256 165253a06e9f393bfc8970d4bbae5a4b7cdc77ebf11381344d0e63ed9673668c

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 575c6c44b27816c262042ce58450af1d52b752d96b3cd1d60fac168cbd73d6c6
MD5 e132079ea041a07d7695170116336222
BLAKE2b-256 fe2c36feac1f2c4dbfe1fee75fecb36d3cdd9c74e6319dbd9b886c809f9f3048

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.64-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.64-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 178804ea9d2c42ab1ce63db423d118515b913a238aa863e74b6816d1f57951fd
MD5 d10eaa018bfba4905a6ffba532cd1604
BLAKE2b-256 87f7b3194e1d9f411b758f08779e8ec2b6e60dfe5d530c7afcb3924d628dbbae

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page