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