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

Uploaded Source

Built Distributions

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

Uploaded CPython 3.12 macOS 14.0+ ARM64

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

Uploaded CPython 3.11 macOS 14.0+ ARM64

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

Uploaded CPython 3.10 macOS 14.0+ ARM64

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

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.65-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.65.tar.gz.

File metadata

  • Download URL: passagemath_qepcad-10.4.65.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.65.tar.gz
Algorithm Hash digest
SHA256 b0343e9b9faf019615b382c06295fffe55b09b7432c7968c044a5aad9e0bf152
MD5 27623bcc86fd24220946e29cccb188e2
BLAKE2b-256 6598cdf2dc347efade4258e469b342e6f2e2b3a43ace686ccb367b28175a26ca

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1ffa8c31d3b3c58c91015cf0ca31c849ab8a7af29ac5b7f9ef558593bd5f347a
MD5 94f0995a35c34d4feea814656b08bd8e
BLAKE2b-256 9bfdce58438eed7dca51ff8facbca71c318325b126546d0df71414ac8e2abd93

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 848b8f118eae9e44c4afaabe117a03de0e198dbe3b1bf129c4839f295f4f21ae
MD5 5865d4b7ab27b3f18f39e95692383b07
BLAKE2b-256 2ea914dd9f5414523a6c05a481cba5b10586b2fe27090618e3872d2abbfbdceb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 2e0c0fce78f5f233c9615bcac691984430a54da2bb30f3fa0cc3b74f9bd14fa7
MD5 5bcf25c3971b4b8142b5b0b05a77bd0f
BLAKE2b-256 f0657efe4be4222f723a43e2fcbef07e9d5bb33179ba24a80c981b09d1f45420

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 24b77851ebef8fea8798e4c50300685bd10dc6d74b4692eb0b40fc2a7b814342
MD5 49d4c66382120cb6224279269905725c
BLAKE2b-256 3ec81f94e96c503b4edeab70392fd09e4ae33f2cadcbcaffffcfcf85470c433f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 a59005bc4755c44c13104e22fb0deffaaf1530473954e9120d48f9c2b7f4b0dd
MD5 7e0d4730afb938b694b366bfea3b414d
BLAKE2b-256 e1adf98cad4ab122cd40be2d60f7e9285e092671d3784c058c9c18075c30f3cc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 3b86a4832c1bf1e621db12fb47365122bd31a23a2c2ff96f415f90476654cc48
MD5 74ee691dca1dc1f0e55f2154f63501a0
BLAKE2b-256 6bf88e13952152f262b308ef2a0325cf7b3fabcc317e18a1d0d6190135e7c9b1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 51a13901fd9fecfcfb0047cca8a8dac6a552dde475baec27d240fcbb790ef99e
MD5 fb49567cf68e8557970dcb5f21ebf991
BLAKE2b-256 cce25bb2f56d57c5b29910995f44e1f419cb3a0f8d7297ffb291f0771c9cf8e5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 8c9f6712ec9b62402527651bf7c4f7c00e2e0fc67c9510115cd7978a365fa093
MD5 2684db5f9ae74f2cdffb20620f3703df
BLAKE2b-256 99b7532ff00e8a4544630c39e5d01132357a8f1635898357b846861e10ed067e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 5ab923e73253f13c7607673263f038562d83d560f7370b6200b4f47839f43671
MD5 799c2699daaa53a30ae51987cd09813e
BLAKE2b-256 094e22ccc269186922be0a2444768edb0220287d07e03f97b674f654f2077c65

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 77fd847213d84ad3bd7adf572cfdece49a2934c867836b450a40024e3643aa3f
MD5 4b1de97d68ba53f1646118d777b5970c
BLAKE2b-256 ab346e45528ad244ac84fedb582162e4ebe25a9ca2ccc477d6b0ccb2dd73e960

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 e3d7486ccccad8320ea9a74cb160463d0e4606c11908439a67535e4e4387bd81
MD5 382cfc190785a1d2ccad81556aea99d7
BLAKE2b-256 c4aef2300f9cdb3a6ff78d536c29d2f797534b8e2dc62a23f21227507c719458

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.65-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 b82f276c7e684341a856f406721aa60e019cf3f0b6e5d5de217c3136d0cb8469
MD5 4239ed7a23d90a2dcd0bf6aefc0f5fc4
BLAKE2b-256 97b6e23554628d0ee48a48c434dd859afdc342eadc7a4ea11df1e9201ab87eeb

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