Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with assumptions
Search options questions only
not deleted
user 2048
Questions about the function Assuming[], the $Assumptions system variable, and the Assumptions option of functions such as Simplify[] and Integrate[].
1
vote
1
answer
92
views
Hidden limitation of Assumptions (Is $x^2 < 0$ contradictory)?
I would like to assume that the square of a number is negative:
Assuming[x^2 < 0, Simplify[Sqrt[x^2]]]
x
Why is $Assumptions generating a message that x^2 < 0 is a contradictory assumption? …
- 19.8k
0
votes
0
answers
44
views
How to test consistency of two assertions without hacking
Suppose I have a set of assumptions assum = x ∈ Reals && y ∈ Reals and I want to test an assertion like
ineq = (-(x^2*y) + x^2*Sqrt[y*(-x^2 + y)])/(-(x^2*y) + Sqrt[-(x^2*y*(-x^2 + y))]) > 1
How do … What is the function Mathematica is using to resolve a set of assumptions??? …
- 19.8k
3
votes
1
answer
427
views
How to make Simplify (and FullSimplify) give a default output if $Assumptions are contradictory
Question: What can I do to suppress Simplify from issuing warning messages and instead have it return a default of +1 if contradictory assumptions are encountered? … I would prefer not to use Simplify, FullSimplify, Reduce or Refine on the assumptions to test for a contradiction since these are much too general-purpose (overkill) for the task. …
- 19.8k
6
votes
2
answers
137
views
Getting around symbol favoritism of Simplify and FullSimplify [duplicate]
Simplify may or may not simplify depending on the symbols you use for its assumptions are good. … How do I formulate the assumptions in Simplify so that it will consistently simplify? …
- 19.8k
3
votes
1
answer
122
views
Simplifying with Assumptions without giving trivial assumptions
Given a long list of independent rational expressions, I need to decide in a reliable but quick way whether or not it is possible for each to be purely negative.
Consider the following rational expre …
- 19.8k
8
votes
2
answers
157
views
How do I SetDelayed $Assumptions
For some reason,
$Assumptions := (Print["y"]; x > 0)
evaluates the RHS immediately. … I have code in which $Assumptions dynamically changes, and where the RHS is complicated for general cases and takes a long time to evaluate. So I need to delay its evaluation until it is needed. …
- 19.8k
3
votes
1
answer
174
views
Building a function that uses $Assumptions and works like Simplify, FunctionExpand, etc
Problem If I supply assumptions that are contradicting or false, it throws $Assumptions::cas instead of MySimplify::cas, or $Assumptions::fas instead of MySimplify::fas. … a MySimplify::cas and MySimplify::fas errors instead of a $Assumptions::cas and $Assumptions::fas error? …
- 19.8k