meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 10 months |
| seen | Dec 8 '12 at 1:44 | |
| stats | profile views | 11 |
|
Oct 27 |
comment |
Symbolic FindInstance At this point, I think that I will just implement a function which uses CylindricalDecomposition. If I do successfully do that, I'll post it as an answer here. |
|
Oct 26 |
asked | Symbolic FindInstance |
|
Aug 24 |
accepted | Using EdgeList on a once empty Graph crashes the kernel |
|
Aug 22 |
comment |
Using EdgeList on a once empty Graph crashes the kernel Sorry, I apologize for the implication of any incompetence on WRI's part. I meant to only express wonder at the strangeness of this bug in what seems like it ought to be a simple function. |
|
Aug 22 |
comment |
Using EdgeList on a once empty Graph crashes the kernel @ruebenko, sorry, I messed up typing the second example. Previously it didn't crash on my machine either - now it is updated to what I meant to put, and does. |
|
Aug 22 |
revised |
Using EdgeList on a once empty Graph crashes the kernel fixed second example of crash |
|
Aug 22 |
awarded | Editor |
|
Aug 22 |
revised |
Using EdgeList on a once empty Graph crashes the kernel Clarified |
|
Aug 22 |
asked | Using EdgeList on a once empty Graph crashes the kernel |
|
Jul 29 |
comment |
Incompleteness of FindInstance Thanks, this was the problem. |
|
Jul 29 |
asked | Incompleteness of FindInstance |
|
Jul 23 |
awarded | Scholar |
|
Jul 23 |
accepted | Buggy Reduce/Resolve function? |
|
Jul 23 |
comment |
Buggy Reduce/Resolve function? The same thing happens when I move the Integers constraint to the condition part of the quantifiers, and change the Resolve domain to Reals, as in Resolve[ForAll[n, n \[Element] Integers,
Exists[p, p \[Element] Integers,
Exists[q, q \[Element] Integers, p*q == n]]], Reals] |
|
Jul 22 |
awarded | Student |
|
Jul 22 |
asked | Buggy Reduce/Resolve function? |
