Singular

ok, thanks :D

[quote="Dmitry"]Version 3-1-6 gives me:
> 3x^2-3*x^2;
6x2
[/quote]
Singular interprets 3x^2 as (3x)^2 which is 9*x^2, then the result 6x2 follows

Everything left from the ^ upto an * or + or - is taken as one token,
thus e.g. 2x2y^3 is 8*x^6*y^3;

Certainly a user should know this behaviour
but it seems to be a bit hidden in the manual.
Sadly, it is not stated precisely in the Getting started part:
http://www.singular.uni-kl.de/Manual/latest/sing_7.htm#SEC13

But see Section
6.4 Miscellaneous oddities
2. monomials and precedence
http://www.singular.uni-kl.de/Manual/3-1-6/sing_458.htm

[b]To remember[/b]:
If the variable names consist only of single letters,
Singular allows to omit the * for the multiplication.
If one do so, then also one don't use the caret ^ for the exponentiation.

Conversely, if you use the long version with ^, then you should put the *, too.

Version 3-1-6 gives me:
> 3x^2-3*x^2;
6x2

(And of course this difference between 3x^2 and 3*x^2 influences other computations, e.g. Milnor number etc.)
It is difficult to always remember, especially if one works with other computer systems. Could you correct this in the future version?

Thanks!