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

10.4.61

10.4.60

This version

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

Uploaded Source

Built Distributions

passagemath_qepcad-10.4.59-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.59-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.59-cp312-cp312-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

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

Uploaded CPython 3.11 macOS 14.0+ ARM64

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

Uploaded CPython 3.10 macOS 14.0+ ARM64

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

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.59-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.59.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.59.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.59.tar.gz
Algorithm Hash digest
SHA256 2c49cd2b0fa1fa61a9a936a7ca810bbfd231ebb6960261671718be5f3f2a8708
MD5 3b30b16999c685cf3a0e7d2b5d791f26
BLAKE2b-256 9fab749154ecb564e5d2502f3f86db50d3201392e8739bb2ed211e189c11cd28

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c28bb2e878e89ef2cf88b782773a1810f7dd35625de041178b84e95fbebe9716
MD5 910abf44d11ff149061486d975a66109
BLAKE2b-256 7199110132fc5c5ccc69b109aefb0dbb15cd4ea9f9784857564e1f5b557d390e

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.59-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.59-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 b5987c096421cc8057fc25e428b0311abe6bcb7f08f5cdf5ec86e45afcea22a1
MD5 24b5c987506e0b33ad77d2e02025177a
BLAKE2b-256 fad8c4d6ff26c01020ee43d7e48755fdf9dafadef007f8756c536c4398cf24e5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 fd6d4f87d68400e607a8561204676bd33954b16a8e7efd0e9afece377139726e
MD5 3d31043277c182f3123161b772a14203
BLAKE2b-256 4f64d6a089885758725dd675a5d6a88be44c700fd503b6f618f77a4fe0f03ba2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 6243e7fcc0ac78f18322f3b8f624eed693055b04dde3fb391040cf8a8551b56c
MD5 fe4f8e38237278af6f016476bf46a4a6
BLAKE2b-256 8d4ebc9f3761a1ac24abdf2ccca32f52cb2dd3aa94b471ecb75a2daab6c3680d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1087e33c18de11d7f7631caa9fccfa5b9ed43001b4f57303bb264eb11e6dd32b
MD5 65501627d2c5feb8589ac41e293ef20b
BLAKE2b-256 76f81aef5da537186162a6dd232b8bb96400be7a86bd1c83ba2ec08210c6284f

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.59-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.59-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 8a6f1075d8a5600d6a0ef8078b97086bd6e583e42230f1ef789fc2fb015d5398
MD5 3fcac38ef349e643c4372821553086d2
BLAKE2b-256 c4366a6b88d1db1f50543c03c1bda8468fe8f6aa934961b1edf10ab8085bea18

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 a5cdda168defd6541fb04a5e97b72e6256ce203d54f7d001fb1c7b10a9c68a27
MD5 8a4dbb72187996f200956f146df0cf02
BLAKE2b-256 5dd4441085211819f3fa97cead72496c46b7a38a6b59f1ea5c581bb994512006

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 7a7fd9905d02ed7f3cefd4431ecde50f46a7745ee5e9b3e3cd2c3581803a5230
MD5 f5284410540e87acc0ef2098e39ecc22
BLAKE2b-256 7244e9516898001103d07758c32d4546cf93c482ced7d151fc87c4ad1cebda32

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 caddbabde6c19fc3c24bf675d0b3f1f5969e311742e8c379cc9bc2c6284aa73f
MD5 84e393b05e46e71023258aac29d65f1b
BLAKE2b-256 a74412f45793210a9c62e63d81eb41e3ff8f41652fffae94b2737f11b9012ece

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.59-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.59-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3e4dc2075e4b45a1970945d2f50de15f1afae438bd30aaf8f9065e335f845396
MD5 c7cf5fabc990576bc8e91da00960b35b
BLAKE2b-256 69acdcebc7eabc4e92a33d1464d42150067d3bee2ef497695c680d36be24f9f9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 df2267a4b68e9a40fc961255500cd5ce778698759f38a8909ed4005ed5e11047
MD5 0351b1e6ef9373a8aa98bf001fb05828
BLAKE2b-256 f724006b87d5dc2c2ee35958c5b6cdef708df6d2684243a75b5f710fabde2005

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d08a1a9c76e6e14765a394ad760e68819be9abcf5e09ff039c25ca0c23263fcb
MD5 bc912985adac37e6b4be88023d9dda3c
BLAKE2b-256 af4e7dfc73374ecabf07b87a73a28c10ef7dedde51e914ef6ee1cb9ef251d473

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 dd48fc5e7e85a47087a6e859c501da017d7793055f3a9e17925cefdea54cd799
MD5 95b9e2912aac713344df61ec3118f791
BLAKE2b-256 3dd68d2ef507afc40e54c976f28131a08707d23421057dc09f7dc992063ea4df

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.59-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.59-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e881d5b3d3a73d1780271f6ca9c446d741369487c73fdd1ff3aa79b614873e2d
MD5 36b1ddb585ef9e7dc8bc1d83011cd095
BLAKE2b-256 916893cf9cabe985d03eb2b1efe60c0a2dd6091fe3a23693f4ab2b936abcedf5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 749c04477d492286db3bfe2bd4f9f9c8572fd73b2c5115bb42795040d19a25e0
MD5 27245f0cce84d3ced75ca6db0bece96b
BLAKE2b-256 559a717643829af82a235b56b175a5e8e46642e33c772974424f6415cfbb572c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.59-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 cacac2e50fc46a20e99f849784fa414664269c120128b0dde1c13e6611b15f10
MD5 60b3b291d7ac2f6edabdbd872fdb6117
BLAKE2b-256 90cd6675d6cf59ed9a84e7dca3cc4859fc14e192add95759056d385f880d3b66

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