@Preben Alsholm Yes, I consider it a bug, and a weird one. I wonder why the same obscure symbol, ` $`, is used as both the end-of-parameters marker and the as the separator for elementwise calls.

@rit asked:

is (not (S[0] and S[1]) ) or p correct?

Yes.

if no S list, it is just p

Yes.

if S is empty , why don't they write....

When they write that a proposition is entailed by the empty set, it is just another way of saying that it is a tautology, i.e., that it evaluates to true no matter what boolean values are assigned to its variables.

i ask this because when programming these , should we concern the S list as a wildcard to use whole logic (not (S[0] and S[1]) ) or p rather than p

Statements about entailment are generally considered part of the metalanguage. But in the case of propositional logic, that metalanguage can be represented within the language. (Sorry, I know those two sentences are pretty deep to understand.) You'll need to provide concrete examples of the programming that you are talking about. 

@nm The new operator <~ has the same precedence as <, <=, =, <>, etc., (the relational operators). Additionally, all of these operators are non-associative (i.e., something like a < b < c is not allowed). So parentheses will be required whenever the main operator of the RHS of the assignment is one of these.

It is okay with me if you want to call it the Love assignment operator.

@Carl Love I got the worksheet with the whole Matrix, and I still couldn't find any exponentials. Indeed,

type(polyGLS, 'Matrix'(polynom));

                                true

hastype(polyGLS, specfunc(anything, exp));

                               false

So, it appears to be a Matrix of polynomials, which is much easier to deal with than a matrix with exponentials.

Is polyGLS to be considered an augmented Matrix or just a Matrix of coefficients?

Please post the entire matrix as a Maple worksheet.

I don't see any exponentials in the example entry that you posted.

@nm I think that Ctrl-JT is short enough to be considered a single command.

@Kitonum solve[RealDomain] is exactly the same as solve. The part in square brackets is ignored. I think that you mean RealDomain[solve].

@toandhsp 

RealDomain:-solve({eq1,eq2}, {x,y});

@nm Or you can get exact solutions with option explicit:

eq1:=(x+y)*(x^2+y^2) = 5500;
eq2:=(x-y)*(x^2-y^2) = 352;
solve({eq1,eq2}, {x,y}, explicit);

@Ratch I see the sort for a fraction of a second, then it disappears.

@Preben Alsholm 

Your bcsy has boundary conditions specified at x=0, x=1, and x=inf.

You asked the same question five days ago, here, and I answered it. Did you have some problem using that answer?

@nm There is no way in Maple to change an operator's precedence (see ?precedence ). &= has a rather high precedence, and := has the absolute lowest. I can change it so that the grouping symbol is unevaluation quotes:

x &= 'r1 + r2';

or any other grouping symbol, but there must be some grouping symbol.

@Ratch And where did you put the sort command?

@Markiyan Hirnyk 

I agree that int and Int should give infinity and Float(infinity) as answers.

While the overall series is not clear, it is clear that the coefficient of the (x-Pi)^(-1) term is not zero and has modulus 1.