Items tagged with type type Tagged Items Feed

How I can say that an object,say k, is a constant(it may be positive or negative) inside assume()?

assume(k::??should I say)

pls also tell me what kind of help pages I should see for this kind of "type inside assume()" problems. 

Thanks.

Hi there,

I have defined an own type MyType wich is internally just a list ['MyType', A, B] with let's say two lists A,B and the symbol 'MyType' as first element (to identify the type).

Now, if I define

X := MyType('MyType', A, B);

is there a possibility to extract A out of X by something like

X[2]

or even better X[1] (thus skipping the first one)? The only thing I know is op(2, X).

I was recently asked a question on using regular expressions with ?type , and I thought it was interesting enough, to share here.

In particular, Maple contains the Logic package, which is useful in teaching. But I do not understand the outputs of the Normalize command. Here is an example:

>with(Logic);

[`&and`, `&iff`, `&implies`, `&nand`, `&nor`, `&not`, `&or`, `&xor`, BooleanSimplify, Canonicalize, Contradiction, Dual, Environment, Equivalent, Export, Implies, Import, Normalize,
 Random, Satisfy, Tautology, TruthTable]

>f := Random({A, B, C});