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

This version

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

Uploaded Source

Built Distributions

passagemath_qepcad-10.4.62-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.62-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.62-cp312-cp312-macosx_14_0_arm64.whl (559.0 kB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

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

Uploaded CPython 3.11 macOS 14.0+ ARM64

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

Uploaded CPython 3.10 macOS 14.0+ ARM64

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

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.62-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.62.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.62.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.62.tar.gz
Algorithm Hash digest
SHA256 12d11b5eb832101445f6d68f5a0dd515d2cb59ff08b85234dfdfba09483008ae
MD5 76137dc1c944a9f2f356f6c296b28ef8
BLAKE2b-256 c9aace45217968e66763145d4000dc5759c98af540a5224d16eba558ad9ca426

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 35bca6ee2c35b851a3d51f44e72cb5f46d32043bc0a8963023180cb44931dacb
MD5 61dd6059125ccb6012093e1bd7c2c849
BLAKE2b-256 8784f552188965c569fc260abfb8883a44ef0751f1fe72a27fa3d173971eba3b

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.62-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.62-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d9770eeed700cca24b8daeab90837ff661884fc266d25ef619540b50c6cd3277
MD5 885579a6a5162c1dd167cd01b360a890
BLAKE2b-256 80e9468112b717728da2ddab6b82c45351dfc77500a69cf3c2a1ee6e36611850

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 971c52b7f13b62312afd9f1c5e704cf620d755cd35b0540382f57be7deddce54
MD5 6c2a79c0fda3be9a0d899d2b538872bc
BLAKE2b-256 3f5a6ba9e5ef9a733d42106ae57089f8eff144b2e5222c2333d62b4fa6257d95

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 74cf35eaac6890c57576121afdc715dbc628b68f163a34dc4ed28c3ee31c8970
MD5 7b460b745a4a2c4c1d746e2e9a1e2e94
BLAKE2b-256 721ca2b9a9ec495304f7f44468782a473ef2585fb490136a7c87bc1eb8d557a5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 6d99a1fa9b9b5b0c39e79efad217c13787523247326a7f630c515459b975f931
MD5 bf45659436edf0e596ba243399780799
BLAKE2b-256 49f150c7194c80e2da413e36d704552a421a2faba19f8b77b5a376c5270f744e

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.62-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.62-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 51387d8405db1579b547a68f8d367d274b7eab4bf61c6b504818547b9b1494df
MD5 1e038efd1ab0b6f150edcf5a948a8d93
BLAKE2b-256 f1b74d371d734b517d017a4e28369be0cc8fcd28faa3a897b51ba9e8d215fe2f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 ad9802945425ae8f0ffb3cae8ba0aa54b2fac4afa97d128d5003e77e8eabd5d1
MD5 8263e351134e67280f7ec0547eb6581e
BLAKE2b-256 9292bbc94e7327f28935994b38b4d2852029a8cc9db36d2b373cdb26f39dce62

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 eab914769f68ba524851deb8a47093dfc3b10263c2956343a6e44b3acd002c68
MD5 ab1f69dca3267ce0f77fe4cfd3bbcc63
BLAKE2b-256 96160c1ddb71705c3f2b2986b49043f95900c173c7d606a6915b6f8ff63fe1fc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 353098de539778fa49054271b866e7f0ce80cc89bebe83c0e5e6c2c5c37c64c0
MD5 3c98113824c8801a068e09bc117e26b9
BLAKE2b-256 d03dd8c4f3e7d0393ef60ac6bb8785086fcdd0c3bca2b8de2355c04f18d9fa54

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.62-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.62-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6934bbbaed75ff0ace96353abaa960844701d467cef55a329dda6bc7ca8fd1e5
MD5 ba263508093179b57bcbb38f970d30c2
BLAKE2b-256 3ac668b20a779fee7ad931c85ebdf7a6f7ab0262b08a11f24e843aa2cb70ede9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 9092d83d9fe265511531605586ad1c3170bee3c350bd78399ce7c7d024e7b44d
MD5 844cc1accb2b5790e0c83ca128fdc01d
BLAKE2b-256 e1e664eb69b20f07497eb3181b6568f4de31184a3bb005935edf17f720de12f5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 816411d0276c1b6f6ac9ddb3f40a10c93d3a682fc98362c39ad10fc0f1acb9f9
MD5 b618f480a657d529b39811de565fc4e1
BLAKE2b-256 14970405a15dd72e5380a2259efc013d2ecff53e89cc2d347c10c5a5788c15fe

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ff966c4055ce6dd48a91c73659c8bf6d95c4ea47f48fee2c755b060b3b0a21d2
MD5 2aa6e5fe0807c3b21a20fa8e0e26ae21
BLAKE2b-256 53743fa5fc83946dd55803e563a153eef7c2d4485146a0ee86a30922370aa204

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.62-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.62-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 902cfecada3e703e6b2f4e0f73c86acae2e95208574cf20390a6a99bdf217c35
MD5 3fee0250bd8f357e4259ff4c2ea158c6
BLAKE2b-256 e92af2399dce251dc4e3768011fdd965166ac34ba27fe5db50e1d0e7c0e1a04c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 8fa6f49a8e312a790a19ec3bf8321bbe0f8be705fd446f7c90c21ccb06a0b4d4
MD5 9b73b871ddb66165e51c7548c8accd29
BLAKE2b-256 f8c23de86840a7418710b06577ab98cea7b777db7bffd28b88fbec5b78b51d37

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.62-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 1418cb85420e925224d35843cfd48f6887cbed754f8cca238e83a0a5891911bb
MD5 b68f1e01c42b8db16ed07f8439472cf8
BLAKE2b-256 7322b0b64fe7d2756d157160a841d11ade52471bbe3cc9328788c7aaf2bd2183

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