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.64

10.4.63

10.4.62

This version

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

Uploaded Source

Built Distributions

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

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_qepcad-10.4.61-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.61-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.61-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.61-cp311-cp311-macosx_14_0_arm64.whl (559.1 kB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_qepcad-10.4.61-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.61-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.61-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.61-cp310-cp310-macosx_14_0_arm64.whl (559.3 kB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_qepcad-10.4.61-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.61-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.61-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.61-cp39-cp39-macosx_14_0_arm64.whl (559.3 kB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.61-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.61.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.61.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.61.tar.gz
Algorithm Hash digest
SHA256 1464f455de545050dc957ef37f48ecd59e94c25507a74695284432ad7711b786
MD5 541ce41c4c59017773283bbf117c8e48
BLAKE2b-256 53158f4f9110d573028811e6cd51863eb201de4eaae2edba7a8642b9be708b9d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 f9d9769376ecb090b785ed33d26c4d0726017eb191d1d7fef3c43309eee2b65e
MD5 a6832c1b0cf226dd05ccbaac9e2e6a21
BLAKE2b-256 a59d307dfb9ee83efe7b4ed3bf045c21045481172e78ad52e9a0bc7c61e81b09

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.61-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.61-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 76a4a6fba595b72ffa37dd8d3196b0a6d38ae763fb493fcfacdba7bb2d775e4e
MD5 248d58945ff6def1c654c52e18eb56a6
BLAKE2b-256 2e81ed3b3b20224153ab0402f6ef9bc408714c81444d6d0ce4dbd9a36e543d4d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 a4bbeb91186819d92d8bc8f38d2a474e64d19f6804bc0a992081eeeb1283a976
MD5 d5f42459e6a60f231577c2a23e31328e
BLAKE2b-256 9a223ba15e69b05d76e9781b57c8892ae6d44a6e5fb85a634deb6339434e35c3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 1da025fd02fceb6df2a95c3283ed2d00b977aa8fa1988de352a97a10eb1ee40d
MD5 3eb2e0d8fbaa9ca7c7a352da8727fb44
BLAKE2b-256 16c022831535c402495f0e65d43e33ef44476f67913ad2ac9cf15d9a7b691586

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 4ffee30fade05241461a4f5dc2f350b02e07cfd5362389e8da0f9546980484d7
MD5 bb572dca6ad3ce83c862dc59b5ed5508
BLAKE2b-256 435167ad9877d062ce95dfb0e6ede2fdb6f4dd92cd13f41c589100dda83c4cd3

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.61-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.61-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 72877c2f16766e9f2702947d2472c9fcdfe88dd049601b2402bd9ea30ed2eae7
MD5 184a718426a430633fc782294ba19abe
BLAKE2b-256 3c32da58ac2a50cf08001d7a801a1e65c3e5c7f3826404b41e697233a70642ea

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 13d5bf5fbe128a9822b723a85f86f6292b1c1fa0d93037fa78c34c5834fe9af5
MD5 21d62b7de2c35117564b8dfe58d7070c
BLAKE2b-256 ee391b1933d85dab253f22b4af7ca6b56b7bc76ac1752f335ef57dcdce003e8f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 2cb8681de893fef4b2c3efd33482207c229eb266020d17823e47ac43b0e17477
MD5 4054149bcaec0327bf93ae0785658bc3
BLAKE2b-256 a8d223da5cae28fa02e84291edbb651c929f54522b8cc2ed8b898200b42a43b4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2a9032d93d22cb4288928802a39e3f556d0b7da19082a67c0bc381d777301871
MD5 5f701b15c67d61cdbc71884cdb7a0e8f
BLAKE2b-256 769b4fe7a5c1d1d831efd0dd75349f336d49e6e63da056a80ffdc70175db78c3

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.61-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.61-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 946641dace36759597ffe455e618e93bbf473addab71db51925fa90283558a5c
MD5 1d41c878c6f624ca474d12dab65ad5d7
BLAKE2b-256 e4726711c4642b54d6ea2e05b27857bcd4e22abc7808075f52c89cbb1bdffe8c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 0e7c3e2987cdc8a0230ffa3563332935c2cdb06b2b08642fc532d56e8b36707c
MD5 8f3f7308d19a920fead092df721cd8ac
BLAKE2b-256 7bb25fd07db708cb770f7b85895425859cf63d593037ca0170fd9dd8aa1d3f8f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6d0a44292ab44128ca159b661433a96469c328f84c4dd642f2b0dce38f9c009e
MD5 97a25d581b43d9d5d57886fb163d3d08
BLAKE2b-256 11a9c2e561e2aa1c37dbcc315cfc9b2d4a69e7bd8e9692d95b43561c12f95b54

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 d0274f3cdc80a5b407200aa91028a92795acfc761ca38df940b4d1760d19fbdb
MD5 2ef965cf372a135102f6f99be1a854be
BLAKE2b-256 85e5ca7564ec6dfb8c850c893eccd06102f90bc72b99541007a8be596266d642

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.61-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.61-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 b788f0ede9d518f5e6ede202852241d4089e639bfd25d8e0dae68d7fc99024ee
MD5 23e3832f764ffefa1e9af57dc3d09efe
BLAKE2b-256 4977a74e4fe3542e24bfde9aa89d8d8109473155744b52011076b875c55e323a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 2c55571923977765bbe6c498cdb197d8b8a24acaefa14e8b0df904e428f8dc8b
MD5 e8eeaa8b48e8be4659118576d7c0d2a5
BLAKE2b-256 d51e13905953e5302587d8cc98061b46f85b0db25d522f208f6fbe2992fd2582

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.61-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 13c17632ccd3909611b0bb8ca0cfdf1db7384e469b82d5816fb532f08c2c24ae
MD5 61f473339a23e9ce66ae705ebb36f105
BLAKE2b-256 bab224d587909456608bdf68209ba739f6b7feabd00a9bda89195501ddd65f27

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