Advanced Search

Question: How to apply the forall statement

Question:How to apply the forall statement

J F Ogilvie 263 Maple 2020
forall
May 16 2020
0

Maple formerly accepted

rule1 := forall(string(y), TD(y) = D(y)):

but now that statement prodices an error message:

Error, (in forall) expecting bound variable(s) to be a name or list of unique names


The entire value of this forall structure is that it should apply to objects of specific types, but it is not obvious how to express those types; the Help page for 'forall' is essentially useless in relation to this question. 
Please Wait...