User Portlet
Discussions |
---|
Does anyone know when 12.1 will come to Wolfram|Alpha Notebook Edition? |
It seems that you will not be able to do that. `Element[1,{1,2,3}]` does not return either True or False for relations with sets, the expression is just returned unevaluated. Within programs `MemberQ[{1, 2, 3}, 1]` returns True but it is not... |
Hi Jonathan, I have been learning Proof Theory on my own and am working on a document that mathematically explores some notions of proof theory. I have also described in detail the slowest way to prove something: brute force. Then I recently... |
Thank you! Works perfectly! |
Assume Import[] gave you a list x of values or expressions. You may write: f[w_] := ... and give x to f, then inside your function you may use Length@w w[[i]] If you need it's length or ith value. But you usually will use... |