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