Re: Historical CAS question
From: J. Horta (bite_at_me.spam)
Date: 01/26/05
- Next message: Will Nayor: "Q: solving SAT: generating extended resolution proofs using techniques for resolution?"
- Previous message: Alec Mihailovs: "Re: Maple modules"
- In reply to: daly_at_rio.sci.ccny.cuny.edu: "Re: Historical CAS question"
- Next in thread: Julian Stoev: "Re: Historical CAS question"
- Reply: Julian Stoev: "Re: Historical CAS question"
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 26 Jan 2005 03:18:38 GMT
On Tue, 25 Jan 2005 09:04:35 -0800, daly wrote:
>
> J. Horta wrote:
>> On Mon, 24 Jan 2005 09:18:03 +0000, Fabio wrote:
>>
>> >> Thanks, I think. Don't care to be famous and I don't
>> >> really want to do anything for mathematicians. What
>> >> I do want to do is some non-commutative associative
>> >> algebra.
>> >
>> > Have you tried Axiom?
>> >
>> > http://axiom.axiom-developer.org
>> >
>> > Fabio
>>
>> Yes, I've attempted to compile axiom twice now and failed.
>> There is something squirly about one of the system headers
>> on SuSE 9.2. If I recall the bfd.h or bfdlink.h header has
>> a structure that doesn't agree with the usage in axiom. Some
>> structure is missing a _raw_size data member. I attempted
>> to replace the references with a size member but somehow
>> the source is generated by the make files so my changes kept
>> getting written over. I've given up on axiom for the time
>> being.
>
> This is a known problem and there is a fix for it.
> Check with the axiom-developer@nongnu.org mailing list
> and we'd be happy to help you. --Tim Daly
Okay, Googled on axiom _raw_size and found the issue with
binutils. Down grading binutils sounds risky so I attempted
to change _raw_size reference in the cvs image I check out.
No luck there since no file appears to contain said variable.
Undaunted I changed my bdf.h which seemed to work but the
build gaged. So, how does one change _raw_size (or even find
for that matter and oh by the way 'grep -l -R _raw_size *'
won't do it) in a local copy of the source?
- Next message: Will Nayor: "Q: solving SAT: generating extended resolution proofs using techniques for resolution?"
- Previous message: Alec Mihailovs: "Re: Maple modules"
- In reply to: daly_at_rio.sci.ccny.cuny.edu: "Re: Historical CAS question"
- Next in thread: Julian Stoev: "Re: Historical CAS question"
- Reply: Julian Stoev: "Re: Historical CAS question"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
