...which is why the announcement for version 0.7.1 didn't go out. It's to be found on the usual places. It is mainly a bug-fix release, but some of the stuff may represent a heavy improvement. In particular, all those folks who were having this or that particular algebraic problem since 0.7.0, please see if it's been solved. Luck -richy. PS: By the way, this is the second 7 February release... -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/> - To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hello- My name is Ricardo Guzman, and I'm studying your system to learn more about computer algebra. I'm having some difficulty following your implementation though, notably in the representation and canonicalization of polynomials. Is there some documentation that goes into slightly more detail on implementation than the reference document? Any help would be greatly appreciated... Thank you very much, Ricardo ----- Original Message ----- From: "Richard B. Kreckel" <kreckel@thep.physik.uni-mainz.de> To: "GiNaC developers list" <ginac-devel@thep.physik.uni-mainz.de>; "GiNaC public list" <ginac-list@thep.physik.uni-mainz.de> Sent: Thursday, February 08, 2001 7:28 AM Subject: Yesterday it was late...
...which is why the announcement for version 0.7.1 didn't go out. It's to be found on the usual places. It is mainly a bug-fix release, but some of the stuff may represent a heavy improvement. In particular, all those folks who were having this or that particular algebraic problem since 0.7.0, please see if it's been solved.
Luck -richy.
PS: By the way, this is the second 7 February release... -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
On Fri, 9 Feb 2001, Ricardo Guzman wrote:
My name is Ricardo Guzman, and I'm studying your system to learn more about computer algebra. I'm having some difficulty following your implementation though, notably in the representation and canonicalization of polynomials. Is there some documentation that goes into slightly more detail on implementation than the reference document?
I'm afraid, there is not. (Well, there is, but it's in German: section 2.3.3 of Alexanders Thesis covers this to some extend. Do you know German, by chance?) If you have some specific question, feel free to ask it. Regards -richy. -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/> - To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hello all- Could anyone recommend some good primers/references on algebraic representation and simplification as found in the GiNaC implementation? Any recommendations would be greatly appreciated. Thanks, Ricardo ----- Original Message ----- From: "Richard B. Kreckel" <kreckel@thep.physik.uni-mainz.de> To: <ginac-list@thep.physik.uni-mainz.de> Sent: Friday, February 09, 2001 1:25 PM Subject: Re: Yesterday it was late...
On Fri, 9 Feb 2001, Ricardo Guzman wrote:
My name is Ricardo Guzman, and I'm studying your system to learn
more
about computer algebra. I'm having some difficulty following your implementation though, notably in the representation and canonicalization of polynomials. Is there some documentation that goes into slightly more detail on implementation than the reference document?
I'm afraid, there is not. (Well, there is, but it's in German: section 2.3.3 of Alexanders Thesis covers this to some extend. Do you know German, by chance?)
If you have some specific question, feel free to ask it.
Regards -richy. -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hello- How does ginac handle rational expressions internally? I see how polynomials in general are represented through the 'expairseq' framework. But, how does it manipulate a quotient of two polynomials in the case of gcd calculations or when querying for numerator/denominator? Thanks in advance, Ricardo ----- Original Message ----- From: "Richard B. Kreckel" <kreckel@thep.physik.uni-mainz.de> To: <ginac-list@thep.physik.uni-mainz.de> Sent: Friday, February 09, 2001 1:25 PM Subject: Re: Yesterday it was late...
On Fri, 9 Feb 2001, Ricardo Guzman wrote:
My name is Ricardo Guzman, and I'm studying your system to learn
more
about computer algebra. I'm having some difficulty following your implementation though, notably in the representation and canonicalization of polynomials. Is there some documentation that goes into slightly more detail on implementation than the reference document?
I'm afraid, there is not. (Well, there is, but it's in German: section 2.3.3 of Alexanders Thesis covers this to some extend. Do you know German, by chance?)
If you have some specific question, feel free to ask it.
Regards -richy. -- Richard Kreckel <Richard.Kreckel@Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hi! On Mon, Feb 12, 2001 at 04:02:38PM -0500, Ricardo Guzman wrote:
How does ginac handle rational expressions internally? I see how polynomials in general are represented through the 'expairseq' framework.
expairseq can store negative powers of expressions as well: 1/x = x^(-1)
But, how does it manipulate a quotient of two polynomials in the case of gcd calculations or when querying for numerator/denominator?
normal(), numer() and denom() internally split each (sub-)expression into a {numerator,denominator} pair. For example, normal() performs: 1/x+2 -> {1,x}+{2,1} -> {1+2x,x} -> (1+2x)/x (= (1+x^2)*x^(-1)) But this internal paired representation is not visible to the user. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ - To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hi!
On Mon, Feb 12, 2001 at 04:02:38PM -0500, Ricardo Guzman wrote:
How does ginac handle rational expressions internally? I see how polynomials in general are represented through the 'expairseq'
Thanks- So you use the 'lst' data structure to maintain this paired representation? Ricardo ----- Original Message ----- From: "Christian Bauer" <cbauer@student.physik.uni-mainz.de> To: <ginac-list@thep.physik.uni-mainz.de> Sent: Monday, February 12, 2001 4:17 PM Subject: Re: rational functions framework.
expairseq can store negative powers of expressions as well: 1/x = x^(-1)
But, how does it manipulate a quotient of two polynomials in the case of
gcd
calculations or when querying for numerator/denominator?
normal(), numer() and denom() internally split each (sub-)expression into a {numerator,denominator} pair. For example, normal() performs:
1/x+2 -> {1,x}+{2,1} -> {1+2x,x} -> (1+2x)/x (= (1+x^2)*x^(-1))
But this internal paired representation is not visible to the user.
Bye, Christian
-- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ - To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
- To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
Hi! On Mon, Feb 12, 2001 at 04:49:42PM -0500, Ricardo Guzman wrote:
So you use the 'lst' data structure to maintain this paired representation?
Yes. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ - To UNSUBSCRIBE, email to ginac-list@ginac.de with a subject of "unsubscribe".
participants (3)
-
Christian Bauer
-
Ricardo Guzman
-
Richard B. Kreckel