Re: [Axiom-developer] [quantum] Geometric Algebra

2016-11-14 Thread Bertfried Fauser
to help. Kind regards BF. -- % Dr Bertfried Fauser % Phone : +49 7471 4031397 Mobile : +49 176 64094110 ___ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Re: Clifford Algebra examples:

2009-11-26 Thread Bertfried Fauser
ent. Hope this helps, otherwise feel free to ask. Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania % Privat Docent: University of Konstanz, Physics Dept <http://ww

[Axiom-developer] Re: CliffordPackage

2009-11-22 Thread Bertfried Fauser
no hassle. > Yes please, this would be very helpful, no rush though, as it will take me > some time to absorb all this good information that you have given me. OK, as soon as my maple is up again, I'll produce some test cases for you (and we need to do AXIOM test cases for Tim ;-)) Ciao BF

[Axiom-developer] Re: Function cache in Axiom (Memoizing)

2009-11-19 Thread Bertfried Fauser
Dear Tim, thank you for the lisp code, I will store it and try it as soon as I have functioning code for the symmetric functions. Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania

Re: [Axiom-developer] Embedding Axiom

2009-11-17 Thread Bertfried Fauser
Hi, if you do the rewrite, feel free to choose Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania % Privat Docent: University of Konstanz, Physics Dept <http://www.

[Axiom-developer] listOfTerms

2009-11-02 Thread Bertfried Fauser
-> A),%) -> % monomial : (A,S) -> % reductum : % -> % ?~=? : (%,%) -> Boolean construct : List(Record(k: S,c: A)) -> % constructOrdered : List(Record(k: S,c: A)) -> % leadingTerm : % -> Record(k: S,c: A) listOfTerms : % -> List(Record(k: S,c:

[Axiom-developer] Re: Clifford Algebra Requirements

2009-10-31 Thread Bertfried Fauser
main specialist I am currently porting my SchurFkt package to AXIOM(TM) (FriCAS style) and hope to improve my knowledge thereby to be able to implement such a GrassmannSuperHopfAlgebraWithBasis after that enterprise... Sorry for being unspecific, but that's due to my limited knowledge Ciao BF.

Re: [Axiom-developer] Examples on functions

2009-10-30 Thread Bertfried Fauser
e, since the system didn't let me create a new sandbox Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania % Privat Docent: University of Konstanz, Physics Dept <http:/

[Axiom-developer] Re: [Axiom-mail] finding source code

2009-10-30 Thread Bertfried Fauser
in CL(V,Q), find all X with (X^2=) X°X = X That's almost all one needs (without spinors) Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania % Privat Docent: University

Re: [Axiom-developer] 20080609.02.tpd.patch (remove unused files in src/hyper)

2008-06-10 Thread Bertfried Fauser
this reversible is there an undosify? dosify has no help page, dosify -h and dosify --help give no usage. Google search for doify gives lyrics links :( deeply dosified BF. -- % PD Dr Bertfried Fauser % Privat Docent: University of Konstanz, Physics Dept <http://www.uni-konstanz.de> % c

Re: [Axiom-developer] MathAction book links

2008-05-05 Thread Bertfried Fauser
me and Konqueror > 3.5.5. > > I do not know how to correct this, unfortunately. > > Many thanks, > > Martin > > > > ___ > Axiom-developer mailing list > Axiom-developer@nongnu.org > http://lists.nongnu.org/mai

Re: [Axiom-developer] Re: AMS Notices: Open Source Mathematical Software

2007-11-27 Thread Bertfried Fauser
ngs of that ilk have > led to very restrictive IT policies. Even if Firefox were better than > IE, it would still face an uphill battle in this arena. > > Are you saying that OpenOffice is "better" than Microsoft Office on any > dimension other than price? :) > > > ___ &g

Re: [Axiom-developer] Re: Combinat

2007-06-30 Thread Bertfried Fauser
; > 1 ==> EmptySetSpecies; > X ==> SingletonSpecies; > + ==> Plus; > * ==> Times; > B(L: LabelType): CombinatorialSpecies L == (1+X*B*B)(L) add {...} > > and the same "for" loop above with structures$B gives you all binary > rooted trees with exactly 4 node

Re: [Axiom-developer] The Gosper algorithm for sum of hypergeometric functions.

2006-11-27 Thread Bertfried Fauser
at all) Donno if that helps... ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-konstanz.de> % contact|->URL : http://clifford.physik.

RE: [Axiom-developer] Exact Number Domain

2006-09-21 Thread Bertfried Fauser
n-th power truncated version of such expansions. The inductive limit of these objects would actually (but infinitely) represent the number. Over all it seems to be very complicated and I would not expect such a representation to be helpful for numeric calculations (speedwise) at all. ciao BF. % PD Dr

Re: [Axiom-developer] Question concerning types...

2006-09-18 Thread Bertfried Fauser
to be able to construct meaningfull algebraic objects. Please go ahead with your refreshing discussion... ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-k

Re: [Axiom-developer] Mathaction and Spammers

2006-04-06 Thread Bertfried Fauser
axiom mails too. So, presumably just filtering a diff of a web paer through a spamm filter will prevent quite a number of alterations to be possible. What about the general need to register to be able to make changes. Then a black list could exlude members who do spamming? ciao BF. % PD Dr Bert

Re: [Axiom-developer] operations working in general, but not in special cases -- help needed

2006-04-04 Thread Bertfried Fauser
ntial topology. Also a computer algebra system which would tried to do this would be doomed to fail. ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-kon

[Axiom-developer] xpoly

2006-03-13 Thread Bertfried Fauser
I can deliver it to him. ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-konstanz.de> % contact|->URL : http://clifford.physik.uni-kons

Re: [Axiom-developer] Re: Axiom + High Energy Physics

2005-11-15 Thread Bertfried Fauser
algebra of renormalization, and I don not (yet) see how to mergs these two fields. ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-konstanz.de>

Re: [Axiom-developer] MuPad under trouble

2005-11-09 Thread Bertfried Fauser
ay, if I can help I would be at least an user of an AXIOM based Combinat packahe and could imagine to spend alos some time to keep it syncrounous with a Mupad version. ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> %

Re: [Axiom-developer] MuPad under trouble

2005-11-09 Thread Bertfried Fauser
ernal C-functions via a sort of wrapper? ciao BF. > Dear Nicolas, Bertfried, * > > Nicolas: I'm copying this to you, since I'd like you to correct me if I'm > mistaken... > > Bertfried Fauser <[EMAIL PROTECTED]> writes: > > > The combinat people i

Re: [Axiom-developer] MuPad under trouble

2005-11-08 Thread Bertfried Fauser
m, perhaps the only way for that package not to perish... sad news if true, ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-konstanz.de> %

[Axiom-developer] build from tla failed

2005-11-06 Thread Bertfried Fauser
nce the required libarys should be there. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept <http://www.uni-konstanz.de> % contact|->URL : http://clifford.physik.uni-konstanz.

Re: [Axiom-developer] StepThrough

2005-11-04 Thread Bertfried Fauser
you cannot give a digital or decimal presentations, but would that be desirable? %pi is fine for me ;-) Anyway, this mail shall not prevent you from starting doing something with nextStep... ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http:/

Re: [Axiom-developer] BAD tim

2005-11-01 Thread Bertfried Fauser
have a winner of the lanuage war, alas such stories usually will have no ... and they lifed happyly ever after. ciao BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institute for Math, Leipzig <http://www.mis.mpg.de> % Privat Docent: University of Konstanz, Phys Dept

RE: [Axiom-developer] Failure of Axiom? (was: Static versusDynamically typed) )

2005-09-23 Thread Bertfried Fauser
take more time unless these people become multipliers and teach onw studentds AXIOM. Meanwhile I will stop typing in philosophy `nonsense` and try to do some more science and AXIOM programming... ;-)) kind regards BF. % PD Dr Bertfried Fauser % Institution: Max Planck Institut for Math, Lei