Metadata-Version: 2.1
Name: passagemath-qepcad
Version: 10.5.7
Summary: passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD
Author-email: The Sage Developers <sage-support@googlegroups.com>
Maintainer: Matthias Köppe, passagemath contributors
License: GNU General Public License (GPL) v2 or later
Project-URL: release notes, https://github.com/passagemath/passagemath/releases
Project-URL: repo (upstream), https://github.com/sagemath/sage
Project-URL: repo, https://github.com/passagemath/passagemath
Project-URL: documentation, https://doc.sagemath.org
Project-URL: homepage (upstream), https://www.sagemath.org
Project-URL: discourse, https://passagemath.discourse.group
Project-URL: tracker (upstream), https://github.com/sagemath/sage/issues
Project-URL: tracker, https://github.com/passagemath/passagemath/issues
Classifier: Development Status :: 6 - Mature
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: GNU General Public License v2 or later (GPLv2+)
Classifier: Operating System :: POSIX
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: <3.13,>=3.9
Description-Content-Type: text/x-rst
Requires-Dist: passagemath-environment~=10.5.7.0
Requires-Dist: cysignals>=1.10.2
Requires-Dist: cysignals<1.12,>=1.10.2
Requires-Dist: passagemath-repl~=10.5.7.0
Provides-Extra: test
Requires-Dist: passagemath-symbolics; extra == "test"

==============================================================================================
passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD
==============================================================================================

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 <https://github.com/chriswestbrown/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)
