AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

← Back to list of members

ImpossibleByResidues​(AngouriMath.​Functions.​Boolean.​Quantifiers.​Kind,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity.​Set.​SpecialSet,​AngouriMath.​Entity)

 Method (no overloads)

Summary

exists x, y, ... in ZZ : P = Q is false where the equation has no solution
modulo some small m, and forall ... : not (P = Q) true. The variables
are the whole chain of quantifiers over whole numbers the body opens with.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online