Hi,
the behavior of function 'has' in ginsh seems inexplicable:
ginsh - GiNaC Interactive Shell (GiNaC V1.0.8)
__, _______ Copyright (C) 1999-2002 Johannes Gutenberg University
Mainz,
(__) * | Germany. This is free software with ABSOLUTELY NO
WARRANTY.
._) i N a C | You are welcome to redistribute it under certain
conditions.
<-------------' For details type `warranty;'.
Type ?? for a list of help topics.
> has(b*x*x^a, $0*$1*$1^$2);
1
> has(c*x*x^a, $0*$1*$1^$2);
1
> has(d*x*x^a, $0*$1*$1^$2);
1
> has(e*x*x^a, $0*$1*$1^$2);
0
> has(f*x*x^a, $0*$1*$1^$2);
1
> has(g*x*x^a, $0*$1*$1^$2);
1
> has(h*x*x^a, $0*$1*$1^$2);
1
> has(i*x*x^a, $0*$1*$1^$2);
0
> has(l*x*x^a, $0*$1*$1^$2);
1
> exit;
Then I cosed and opened again ginsh and ...
Type ?? for a list of help topics.
> has(e*x*x^a, $0*$1*$1^$2);
1
> has(f*x*x^a, $0*$1*$1^$2);
1
> has(g*x*x^a, $0*$1*$1^$2);
1
> has(h*x*x^a, $0*$1*$1^$2);
0
> has(i*x*x^a, $0*$1*$1^$2);
1
> has(l*x*x^a, $0*$1*$1^$2);
1
> has(m*x*x^a, $0*$1*$1^$2);
1
> has(n*x*x^a, $0*$1*$1^$2);
0
> has(o*x*x^a, $0*$1*$1^$2);
1
> exit;
[zolo@sandbox zolo]$ ginsh
ginsh - GiNaC Interactive Shell (GiNaC V1.0.8)
__, _______ Copyright (C) 1999-2002 Johannes Gutenberg University
Mainz,
(__) * | Germany. This is free software with ABSOLUTELY NO
WARRANTY.
._) i N a C | You are welcome to redistribute it under certain
conditions.
<-------------' For details type `warranty;'.
Type ?? for a list of help topics.
> has(h*x*x^a, $0*$1*$1^$2);
1
> has(i*x*x^a, $0*$1*$1^$2);
1
> has(l*x*x^a, $0*$1*$1^$2);
1
> has(m*x*x^a, $0*$1*$1^$2);
0
> has(n*x*x^a, $0*$1*$1^$2);
1
>
Furthermore, with the number it says always false, is it right?
> has(2*x*x^a, $0*$1*$1^$2);
0
> has((-2)*x*x^a, $0*$1*$1^$2);
0
> has(sqrt(2)*x*x^a, $0*$1*$1^$2);
0
Thank you very much. Best regards
Tatiana Zolo
