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

Uploaded Source

Built Distributions

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

Uploaded CPython 3.12 macOS 14.0+ ARM64

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

Uploaded CPython 3.11 macOS 14.0+ ARM64

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

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_qepcad-10.4.50-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.50-cp39-cp39-macosx_14_0_arm64.whl (559.1 kB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

File details

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

File metadata

  • Download URL: passagemath_qepcad-10.4.50.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.50.tar.gz
Algorithm Hash digest
SHA256 7d0f7452809b46913b242b95ec593dfc483a9393ca296764ba080c1b94844fff
MD5 10c5d43d89eb71c45792966ec2af9c71
BLAKE2b-256 22118fa0e20bb61e60e12b3c2e9ea5821b63a1ac52d34ce369063a3bc09be397

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.50-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.50-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 b06384663ba641703a1f46d55ba6e0232293611849107ad7c2d23e49a50659cc
MD5 8552c23cf9cfad4f66c0c2e4b3c47c31
BLAKE2b-256 d7733d17cf5a192d211e1f9be5531c1afd4cd193859610f98f7cc47e3a04cbb7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.50-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 cb3893a25f55bc0998043095b7be768d2bf5e97caa41d6094c2764995a2746d2
MD5 7ed3342af4bff62ae87ed3a489737953
BLAKE2b-256 6f2552cbee8c0a8992ae3e0ddad8d68a1f807f751fdb926a0777c9cf51f1934a

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.50-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.50-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 89331489e848cbb64886be1bd3727aa823fd3a353ec9c32a07465a287e0e7f68
MD5 3cee24aa74217f3facdd8f5a76ef975e
BLAKE2b-256 279df263d48d32b20e640c73021d1f8d3a7f7d0ddb55f577cf2c73aa918c534a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.50-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 d77bec582471841225be05fa111ffc0fc507541d0a68391f963966c0aa5daf72
MD5 7e914bc00f8d9f7a76f24b967f74212e
BLAKE2b-256 a9ffb8e88762609bf50c6c021ef0ba8772cb1836d34327dd40ccd31e3fff1c55

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.50-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.50-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e2cbf3682bfb30f1548e7fa8ecc57e762f841a4305425dc7cfc6d096ecfedfb6
MD5 53829a7c5b4d095d5efa808f3eeb7cf2
BLAKE2b-256 27354025a9d1025d2e2efb5d7cde6fc22003e7ca63d178ff4a7d45a1a2aa0bfc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.50-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 6676eb5c7dee2c4e2bbbb3b940744ad02485af0ffb0e705d4d34de6864d7689a
MD5 8f88c178a5da38159fa03c94c7fa35fb
BLAKE2b-256 0565d60f1a8b802345a99d9126dce381df35f2c3a6011320a1c0ea2a9be13e8f

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.50-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.50-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 f83cdbbed5c835c7631961160e1f80ba2f68a5cdca4a365a8e312b7f6e825b85
MD5 b6e00dec7e4068c60974be000f705d5a
BLAKE2b-256 cfb20e51b6cccc7e0d26cc9d56f4ff039a0a8d6dfc3c6aea38d00ef811b28842

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.50-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 9d85746dcdcf94d2cdd2897294272ae45689491348e73193257b01f86e231931
MD5 741d9c613b4c857215acf102eb4d0aad
BLAKE2b-256 ca6c3b64af6af881961cf6c7d4223cf7f79b69d6e39533f7e1037a928a13d13b

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