## 874 Reputation

15 years, 25 days

## A miss....

@Carl Love Wow!  I thought of using solve, but then I saw it would never work... My mistake.

## Too much algebra....

@Shiyao I would presume it is because the second integral is applying to lns and arctans and lots of radicals.

## Editing....

@acer In your fix, did you edit the contents of the .mw file directly?
I meant for the author to reinstate the formatting of the document from the text given.

## One question....

Can I skip the exercises?

## Query....

@vv and Your query does not ask Maple the question you are attempting: "whether some number is real".

## OrProp....

@vv The query is(Q, OrProp(A,B)); is explicitly:
can it be proven that: Q is A is true or Q is A is false.
can it be proven that: Q is B is true or Q is B is false.
All of the above fails and the result follows. OrProp is not part of the lattice and does not discern in any other way.

## Notice....

@vv Why do you post

 > is(Pi + exp(1), OrProp(rational, irrational));

as ???. The result is very clear and proper.

## Set vs list....

@Muhammad Usman To fix that replace set by a list in `Sol`. As the contents of the set vary, its representation varies also and `op(i, Sol)` does not have the desired effect. Also consider `assign(op(Sol));` inplace of the loop.

## Since You are using roots of unity:...

```restart:

N   := 3:
P   := 2:

niv := [seq(Z[i], i=1..N)];
f   := Matrix(N^P, P, (i,j) -> `if`(j=P, niv[(i mod N)+1], niv[iquo(i-1,N)+1]));
ds := subs(niv =~ [\$0..N-1], f);

vs := [ seq(V__||i, i=1..P)]:
es := unapply( sort( [ seq( mul(vs ^~ [entries(ds[i,..], nolist)]), i=1..N^P) ] ), vs);

ff := convert([ seq(es(entries(f[i,..], nolist)), i=1..N^P) ], Matrix);

R := RootOf(NumberTheory:-CyclotomicPolynomial(N, x), x);
alias(alpha = R);
UnityRoots := map2(op, 1, roots(x^N-1, x, R));

F := evala(subs(niv =~ UnityRoots, ff)) /~ sqrt(N^P);
evala(1/F - subs(R = 1/R, F^+));
convert(%, set);
```

## Dunno....

@mmcdara For the record I have no idea what you actually need here.... :(

## Maple Help....

The operator you seek is : `F ^ *, F ^ %H` rather than `F ^ +, F ^ %T`, indicated by Maple Help pages. So that should be `simplify(F^ * . F);`

## Coding....

If the above code was ever successfully valuated to a procedure code then please post it in .mw form. Otherwise, know that the above is so badly written it is useless.

## Hidden problems....

Maple 2017.3 gives the correct answer. Perhaps you should try it with a restart?

## Table....

@ogunmiloro Replace the definitions You gave with:
`B[0] := .50; C[0] := .30; DD[0] := .21; E[0] := .14; F[0] := .70; G[0] := .45; H[0] := .14;`

## Initials....

Did You initialize B,C,DD,E,F,G,H at 0?

 2 3 4 5 6 7 8 Last Page 4 of 14
﻿