Group Abstract Group Abstract

Message Boards Message Boards

0
|
7.8K Views
|
4 Replies
|
3 Total Likes
View groups...
Share
Share this post:

Need help in using Resolve to prove equality over specified domain

Glen Deering
Posted 11 years ago
Attachments:
POSTED BY: Glen Deering
4 Replies
Sort By:

It just isn't the way Element works. But specification of the desired predicate is easier than you might have thought: just give the inequalities

Resolve[
 ForAll[x, FunctionDomain[f@*f@*f@x, x], f@*f@*f@x == x]]

(* Out[72]= True *)
POSTED BY: Daniel Lichtblau
POSTED BY: Daniel Lichtblau
Glen Deering
Glen Deering
Posted 11 years ago

Thanks again!
POSTED BY: Glen Deering
Glen Deering
Glen Deering
Posted 11 years ago
POSTED BY: Glen Deering
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard