Skip to main content

passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD

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


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

Uploaded Source

Built Distributions

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

Uploaded CPython 3.12 macOS 14.0+ ARM64

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

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_qepcad-10.4.58-cp311-cp311-macosx_13_0_x86_64.whl (573.7 kB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

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

Uploaded CPython 3.10 macOS 14.0+ ARM64

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

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.58-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.58.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.58.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.58.tar.gz
Algorithm Hash digest
SHA256 528b3cfb4773f460b99ed64e62ef4afa05f16eecef89d535c7664f29293f620e
MD5 881c953c0c8381c6685721ebe12b79e3
BLAKE2b-256 646297ba66cbec012fa3648d5c177683815502db0f0af8e44642ebbaaf292517

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.58-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.58-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3671bcdcaccdb14b2ab8d3c371772bfac8174a3861e1402af1a4cba0c8f28395
MD5 bc9b6f5b1df0fe1aa7c71f347cebe4b8
BLAKE2b-256 376de4426186ac1641464d0e37ec1f168e29feb3f30e0d0babed23c4c71209c4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 cf222ae71bb6d3c0d0380d62c6e4682620f8e021e388826f95fa499e4d16ac92
MD5 41e8ef35f72f0773da60e18008f98889
BLAKE2b-256 de431355b2bf7228129c3e7196f54007ffe1dbf61499c1add50cf97ae06420b9

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 65839adfb22cea03754425d553225a8dc94af51dd0d75c1d021cfaf7c2fba726
MD5 a15227db2086ffcd12b3357d78168d71
BLAKE2b-256 411b75d3e1553e8b44b4cfc2b787124ac6e5562a3ab384a44bdaeda796d7a918

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.58-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.58-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f7a7eb789fd6a08959ed2972b932491a91fc28e11bb1b52b04369caf4f1d12ea
MD5 9075dd46309584047442c0bed737fd06
BLAKE2b-256 fc756bae649988cddd8e9fc72526736ab4bc46e1d06dfed87f8577458360a726

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 c4f41e59321fc10b535167a616d69df0c53be00c5de12a1553eaf15e03ca125e
MD5 5a9a0eda78d241e94e58049ea6b05fbd
BLAKE2b-256 37864965df2f3e0629ecf95ab1f99e3cfdb4c106132951b1ffac2e5ad7f623b0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 e6ced8c263b48f9a71a72f692f1a050da6b2f7aaf91ac0ee8812285a20698948
MD5 f59376663ed16a738abec3a141e729eb
BLAKE2b-256 a4fea32fbd3fedc6272184cb9e4cbac434f7f79ff7aa9d6edf83b9a42da5fff9

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.58-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.58-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 286bb78f3f4b03739ecf196f348f3359385cfaa71005d759aafa5df7d4d1a2d6
MD5 d573ccc2f8b5bf0edb6f80d933afd596
BLAKE2b-256 2a3af1ecdd0b21be456d3713ed7e6d956af08da8d8e4ffa3f7f6a9d7f4cb8e1c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 d1c4ea4234c4013f966a22fd0137afbb9202cfdee3ae86116057309cc4a98f08
MD5 17f81dcdb828d38cfa8d0b3eca89900b
BLAKE2b-256 0c606141d16082e05e50f35f469a9a747c62099de7cd4ecc967fd978ab5a1bf0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 e6f9bdd2d0ccbb9ad2631345d73344b7bdcb17a7a908b369c797654fc571dea8
MD5 88f8b6c4762299f223237da7431d5b43
BLAKE2b-256 17004ee0f3b71f8d62abe7f9ecc67d7e472486729f9a80ca066d0a75bdd96e81

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.58-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.58-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 854fb6d4148916eb6a64bbd98d9f1e241a54b79e8a60959408c75c1d6f8836df
MD5 c1ee708beb992aa75d11ee37694ffb31
BLAKE2b-256 e16f525a1d0ad8ed4999212403453471b70db8ff9a3678d91a6803a36a34fcc4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 60b8f88c49e245dde5ae20c1df5303bc6c9e0eea3adaca07109b523aac86fe7c
MD5 7ae8373866df28025fdf0495aa084b86
BLAKE2b-256 dc76680318dc38d11ec259d199c001da475153f12ea1cd2e3291a1db5ece46d6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.58-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 f13e1a87dc50f79716cc121bb58f7731c97ced8e15a9ab03cb88f29311688619
MD5 51c9376773796f384f868a55f28fae07
BLAKE2b-256 ba36734203170ab275946b0d572465174347af5fb8b02374ca41785a921ef535

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