that's one of the best things about music though!
a lot of the things i like really remind me of my exboyfriend
so i'm quite excited about finding lots of new music that doesn't
not in a bad way
i'll always love the other stuff
but now i want things that remind me of liverpool
and now!
ok, r
ee you here!
"Antoine Hersen" <[EMAIL PROTECTED]> writes:
> test(a:Fraction UnivariatePolynomial(x,F)):Fraction
> UnivariatePolynomial(x,F) == {
> eval(a, x, 1)
> }
I also had problems with that. In general, I think it is better to avoid UP
whenever possi
Hello,I am having some issue with the eval function, any ideas ?I have reduced my problem to the simplest form.It is making me crazy !!!Because UP, which is a PolynomialCat, has InnerEvalable
PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): Category == Join(PartialD
Hello,About the example on the front page. It is astehetic but the type result is almost the equivalent to any.I do not have super good replament idea.But I will proprose some Taylor expansion maybe ?
Regards,Antoine HersenOn 8/6/06, Jay Belanger <[EMAIL PROTECTED]> wrote:
"Bill Page" <[EMAIL PROTE
> I guess we should make some kind of effort to coordinate this> and make sure everything is upto date and in sync before deciding
> how best to proceed with large scale edits. No?Yes. Now we have Gold=stable, Silver=unstable, and several testingbranches. See http://wiki.axiom-developer.org/AxiomSo
Thank you for the changes.My minimalist instinc feel better.* the wiki menu (especially the item "changes") is missing now. I very much
liked to click on it on the FrontPage, though, and I also think it is interesting for people who come by only occasionally.I think you can use the RSS feed.
*
> | About> | News> | Documentation> | FAQ> | Screenshots/Video
> | ---> | Online try> | Download> | -> | Developer> | Mail list> | Bug report> | Bibliography> | Related link>> I like it.
Looks not too bad to me, but Bill made sections with headlines. So youare trying to remove the h
Thank you very much for fighting spam for us.I like to point how important it is not only because it is annoying but also because it will make the axiom web page a so called "farm link" meaning loosing rating or not even showing up in Google and co.
On 8/2/06, Page, Bill <[EMAIL PROTECTED]> wrote:
" and "down". So it is really a lattice
(to a mathematician) or an ontology (to at least one branch ofcomputer science).I want a spanning tree.
When you say "all the bugs" do you mean the issue tracker pages?These to not appear in most of the links on the left sidebar.Or
Hello,Summer cleaning !!!I also think the web page is too cluttered.There is three category of people new comers, user and contributors.About the new comers : we are competing to get their attention and time.
We need to be very good at it because Axiom is complex so it is not going to be an easy s
> > I might mention that the lisp output would be significantly easier> > to parse and maintain.
>> Are you saying that aldor should not be translated to C or Fortran> or whatever other target there will be in the future?A point which is probably orthogonal to this discussion but issomething to con
> The database design in Axiom is old. It uses random access files which
> > follow VM/370 LispVM design. These databases should be redone using a> > better overall design.>>> What is this database ?There are several databases, you can see them loaded when the system
starts. These include informati
Hello,I have just a comment about the front page.In the right column all links start with "Axiom". Is there is a reason for this ?I know it is mostly about personal taste but I find it redundant and does not help me find what I am looking for.
Regards,Anto
Hello,One key subgoal that is completely independent is to figure out how to
draw a line on the screen using SBCL or CLISP and the new lisp-based GUIwork. planet.lisp.org has had several discussions about this. A lisp-basedGUI for graphics would be much more portable.
Do you mean just for plotting
stiant Unit testing should be part of the upcoming open Aldor realase and their usage covered in the user documentation to be sure every one use them as much a possible.Regards
Antoine Hersen-- No all type are equal#include "aldor"#include "aldorio"import from Boolean , Integer;de
incremined files.Regards,Antoine Hersen
ht_error.tar.gz
Description: GNU Zip compressed data
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
ld be fairly doable and will be an interesting project due to it's type system( I have no experience implementing interpreter/compiler in Lisp)
Regards,Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
rtainlyforce axiom's user interface to mature rapidly.
There will be the problem of Latex, that might be a lot of works to male OO parse Latex. Regards,Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.o
Hello,In the on going discussion about the UI I think we need to know what problems we are trying to solve and especially for whom.It will be interesting to create some user profiles, they will have a name and cool and positive biography.
They are not complete or exhaustive just representative at b
atex, how much work will it be ?Do yo want to investigate Pierre ?In general how many people able to work on the project have good java skill ?How many for elisp ?I am sure we will be able to get other CAS interested to such a project.
I know by experience that Pierre is quite skilled in Java :)Rega
Hello,My experience is making a good UI is a lot of works( aka way more than you imagine), especially if you go out the basic widget. ( I had a 30 line long rent there ).Before choosing a solution we should set goals and there relative importance. My try :
+ Attracting new user :
- sexy look
Any ideas ?
Regards,
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Hello,I added \usepackage{hyperref}, converted some ps to pdf to book vol3 and used pdflatex.The result is quite convinient for me.Should I put it on the wiki ?What is the policy for file hosting ?
Regards,Antoine Hersen
___
Axiom-developer mailing list
Hello,
Is there a modification to the compiler argument that will speed up
the compilation for a Domain.
Compilation take over 3 minutes. Mostly when compiling the generated lisp code.
Any ideas ?
Regards,
Antoine Hersen
___
Axiom-developer mailing
compiler args to change these options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
** Solution :
Fix modify default options.
** Test :
I recompiled Axiom from scratch and then I recompiled aldor support.
I run some test and I did not find any regression.
Regard
Hello,
I get a ">> System error: Value stack overflow" when I use an
abbreviation created for an Aldor compiled Domain.
Join a minimal Domain an an input file recreating the error.
Regards,
Antoine Hersen
Transcript off the error :
T1 := SomeDomainThatNeedToBeAbbrivi
n on MathAction much like the sandbox, that is no diff are send to the list.Will this be interesting for other people to ?Easy to implement ?Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Type, f:A->B, la: List A) : List B ==
[f i for i in la] ;
Anyway sorry for the vague question.
And thanks you for orienting me to Aldor
Regards,
Antoine Hersen
On 4/1/06, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> On 04/01/2006 09:15 PM, Antoine Hersen wrote:
> > Sorry
Hello,
Does not seem to work,
I try creating an anonymous function to i +-> degree i but same pb ...
On 01 Apr 2006 21:53:36 +0200, Francois Maltey <[EMAIL PROTECTED]> wrote:
> Salut Antoine !
>
> I believe it's map (degree #1, a) we must type in .spad files.
> Last days I make the same error.
Sorry,
Here it is http://wiki.axiom-developer.org/SandBoxSpad
If I try to use the map the compilation fail
I am used to Ocaml who do a terrific job at inferring type( which are
more simple) and I have trouble figuring out where to add type
information.
Thanks,
Antoine Hersen
On 4/1/06, Ralf
some advices ?
Thanks,
Antoine hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
on
the mailing list so maybe we will be able to reconstruct everything ?
Good luck,
Antoine Hersen
On 3/31/06, Bob McElrath <[EMAIL PROTECTED]> wrote:
> As you know I wrote a script and cron job to backup mathaction's zodb
> some months ago. However, it seems to not be working.
Hello
On 3/30/06, Bill Page <[EMAIL PROTECTED]> wrote:
> On March 30, 2006 1:09 AM Antoine Hersen wrote:
> > Bill Page wrote:
> > >
> > > I use just:
> > >
> > > while unhappy repeat
> > > )sys vi file.spad
> > > .
Hello,
What about SVK( http://svk.elixus.org/ ), it seem to be based on
Subversion plus distributed a la Arch
It is based on PERL a more reasonable dependency that Haskell.
I have never used it( RCS cover most of my need), so it is just
presenting another option.
Antoine Hersen
d ? I have a lot of difficulty understanding Manuel
> > Bronstein works.
> >
>
> Check out section 9.58 of the Axiom book:
>
> 9.58 Operator
> Given any ring R, the ring of the Integer-linear operators
> over R is called Operator(R). To create an ope
e intedent of the operator package op.spad ?
I have a lot of difficulty understanding Manuel Bronstein works.
Thanks in advance
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
han spad, if not what should I
do to make Vector iteratable or is it not desirable ?
Thanks a lot
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Hello,
I did not find much information about the difference betwen "convert"
and "coerce".
Coerce is the "::" operator. But I did not find much more.
Thanks in advance.
Antoine Hersen
___
Axiom-developer mailing list
A
value ?
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Hello,With a clean install from arch I run into some mirror pb while trying to use the search facility in Hyperdoc.mnt/linux/bin/htsearch does not have the exuctable bit set.mnt/linux/lib/presea does not have the exuctable bit set too.
And presea shabang is #!/bin/awk but on Debian it should be #!/
( The 30 Year Horizon subtitle is great when you have some CAS history
background and co, but for newbie it can be very scary, do it mean I
need 30 years to be able to correctly use it, do it mean it will work
correctly in 30 years ? )
Sure critic is easy,
Thanks a lot for publishing the book,
lumes ?
I found one in src/interp vol5
Is src/doc/ComputerTutorial.pamphlet suppose to be one of the volume ?
It is not mentioned in the Makefile.
Thanks,
Antoine Hersen
societylab.net
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Hello,
I am getting a bit confused, which is the preferred source code
management for developing axiom ?
Darcs, TLA, CVS ?
All the above ?
Thanks,
Antoine Hersen
societylab.net
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http
planning to get a master
in math after.
And I am good at functional language even if I am more familiar with
ML and Scheme than CL.
I will really appreciate any idea with some track to begin.
And hope to make a positive contribution to Axiom.
Thank you
Antoine Hersen
Hello,
Here the progress I made so far in porting axiom to Tiger
Modified configure to add Darwin -> darwin
Modified Makefile.pamphlet Makefile.MACOSX -> Makefile.darwin
Did not change PLF MACOSXplatform
Remove -I/usr/include/sys from CCF who caused sigaction not to be
recognized proper
.
Thanks in advance.
Antoine Hersen
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
46 matches
Mail list logo
