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

10.4.65

10.4.64

10.4.63

10.4.62

10.4.61

This version

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.60.tar.gz (28.0 kB view details)

Uploaded Source

Built Distributions

passagemath_qepcad-10.4.60-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.60-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.60-cp312-cp312-macosx_14_0_arm64.whl (559.1 kB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_qepcad-10.4.60-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.60-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.60-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.60-cp311-cp311-macosx_14_0_arm64.whl (559.0 kB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_qepcad-10.4.60-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.60-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.60-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.60-cp310-cp310-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_qepcad-10.4.60-cp310-cp310-macosx_13_0_x86_64.whl (573.9 kB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

passagemath_qepcad-10.4.60-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.60-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.60-cp39-cp39-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.60-cp39-cp39-macosx_13_0_x86_64.whl (573.9 kB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

File details

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

File metadata

  • Download URL: passagemath_qepcad-10.4.60.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.60.tar.gz
Algorithm Hash digest
SHA256 2127a7aec7b6a84bc41471f8f2df55d85964d255b945a2f0e41722d2c1d2ae0a
MD5 0a2c22527bb92f2572a3bbc9f4a3a9af
BLAKE2b-256 5cf5af60a01d1686208af7f4fec9ef52bbe71b8cbc546c70f4347451fd4fa770

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2ac47dfabab8e3237554d9dc64d47876eefc30b51a6d0e5334b22d0dba99267b
MD5 ee0f91d9487c5fd28bf728f972f386c8
BLAKE2b-256 8bbec3f25545b6a5e03515774c39f0ef943982efd6ce2fc19ede028bd26cb8a6

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.60-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.60-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 868da1ea0dfb2d3796e23ad8087cc3edda55e85141dd1b678d9724f7b51ae386
MD5 3369bc046d3aee142828463eb7999a8a
BLAKE2b-256 d550e80b0795cb9f147f8792250ae1232c2104df788176e6da887195165f6041

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 65502c7ae9c6d188f2447ec740355592e6ac227f832d5e9dec16bf4d13cc8137
MD5 3514462cb0ba13a89e44b38a146b7203
BLAKE2b-256 ed05a64c860348550120af4e5a08feb914c2d868dab1573c9c105c2844c8ea6e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 1adccb5259b0dd013a9540ad3249ebfce0227c78a7db0ebce0bd79c387568435
MD5 7cb341f2c9afb9ef023bfb7c8381d12b
BLAKE2b-256 a49b81dad54d49c994eb45878aaa0781ca43b0a373c9eb28e3b8333a973e5e28

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 d6839bb73c1f6c20bc51eb99bac1377d5818f75ed5848d609a1ca4d7d0f087c9
MD5 5ab696600daa791801eacc29151b95ab
BLAKE2b-256 31cc35ba197af7a2d8e8d1c81f20e4787a0d42b2a81f2811874819ea2dfae141

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.60-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.60-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3c188a4393c45b6294cd96ae17c775a325a452b9f156846516e2484d45a42686
MD5 36622498dda5c9295d01facd919b76fd
BLAKE2b-256 9ed8c61c12a4f3a2890beb69694aeb64b3f1ba8623e5c2662d7b77b164c6df75

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 84988a45a8f0a540edec0bb0d69d725d81118da9b1e23c8d8356d90e4ba50b37
MD5 4e38a51aa0c443f38c34eebac6c5b6d6
BLAKE2b-256 2eabf41989da712cfc98320af7179cc37a4ae1128e9b7c2548ddd95c3deef424

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 0e6d65523bc95ed757628205bd4437d0010948bb8a66dc21d8d39d6cb05ca2ba
MD5 93f4e606b65ca4371accc280a5179234
BLAKE2b-256 607279fe1db276cf8fb2ddc1181b7d6f5df84d7de2e596d7f5b50c567c06bf80

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 96cfd5f21e188c6c7e2664ce324e25c24e651f21062d79617234208386185017
MD5 0b44db073befc8063d4d5c9e8310bfda
BLAKE2b-256 c854a434da490d0de128460c2234ed318664ddd874f24ecd4ce661744ea322f5

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.60-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.60-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5399eabd2652de0e600e82ca43d3ddf4917ccff798b77499ffb559e5e969bcb1
MD5 6739b5a590d2019cb153dc3ea9ad4f2e
BLAKE2b-256 dc722b4b4614ddb6f28570528d811d0348d5bfeae98ba63376067b16d8601409

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 387868a37d5bba58aa0974c8f59419cb3ad8120ba29eea9c3b9c17c1833e80c2
MD5 da286d57b9a35e4ca8bfb32f9a45364a
BLAKE2b-256 33cfa9210e98a6069336c85b63f2410cee265ef06b22a56181758188e10ad736

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 ad5014bb09cae423ac239b8755cf805b3ff9eb4fcb26a623498d832f88fc1c2b
MD5 fa8ebcfbd7cbf7e4d61327d1887ba172
BLAKE2b-256 0a0857aa469aaee86058b74850f05e8f89177be3e3eab4046d4a19caeb7c4049

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 45d9912d54f3bf8a5fbc2a374c3cf810cc7310d8bb3f557b2a599b54491a4deb
MD5 91aba31ec583c9d6132dc9ba5e5fbc4e
BLAKE2b-256 6267406431332e3e9dc54704808695a82d4c35663b8fb149dd30669adf4d66e7

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.60-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.60-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ce262cf52629dd20b2ba26b92ecd3fadeb018f787c573320e068db58b3d2f3f4
MD5 1139ea589d6dcc86c860cd0d12e84a1d
BLAKE2b-256 5c66c23166edc32d7603012142a252a87f26e540e432d6caa8832496ee0c44d1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 62ec456ea4c758f13021e2588b2180689fcb93d30cd69e5bb51569ccb39703b2
MD5 2cc25590521e0550bf68ffdbe013930c
BLAKE2b-256 c9f7bad4139e453db3b1c2502119a10e5403cc0e61444cef37594843a8bbf06c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.60-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 a10e5cff8502b012f7567ea78f723bb6a7362104ec7773e335ac7a2dc1f01a3c
MD5 0a68c23aadff8e410c0370fbe048938c
BLAKE2b-256 a1e5ecc856c79994773f49762900f2b355602149c880d032ab274e392e56ac95

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