On 12/07/2010 10:13 PM, Gabriel Dos Reis wrote: > Arthur Ralfs<art...@mathbrane.ca> writes: > > | Hi Gaby, Martin, > | > | I'm checking out Martin's graphics framework with a view to using it in > | my FireAx project. Martin's code is already included in Fricas. When I > | retrieve scene.spad.pamphlet from here > | > | https://github.com/martinbaker/multivector > | > | and then follow the directions here > | > | > http://www.euclideanspace.com/maths/standards/program/mycode/graph/tutorial/index.htm > | > | the spad files don't compile directly under OpenAxiom. I have to change > | "^" into "**" a few times but have a more serious difficulty with, for > | instance this in STransform.spad > | > | stransform(m:List List DF):% == > | PT has SCartesian(2) => > | arr : PrimitiveArray PrimitiveArray DF := new(3,empty()) > | ... > | > | which give the compile error > | > |>> Apparent user error: > | Second argument to has must be a category, or a signature or an > | attribute > | > | > | PT is of type SPointCategory and SCartesian(n) is a domain constructor > | that exports SPointCategory() and depends on the dimension n. I assume > | this error, compared to Fricas situation, is due to divergence in the > | spad compiler between OpenAxiom and Fricas. > > Hi Arthur, > > This port project sounds exciting! > > With respect to the usage of `has': the `has' operator was originally > designed as suggested by the diagnostic message you got. Then it was > hacked to accept a domain as second argument to mean `domain equality'. > That was very confusing and sometimes to the compiler and the runtime > system too. Spad has another operator (which is available in all AXIOM > flavours I believe) call `is' for domain equality comparison. So, if > you say > > PT is SCartesian(2) => > > you should be OK. > > -- Gaby > Thanks. That works for that one. I have to put it on hold for a few days.
Arthur ------------------------------------------------------------------------------ What happens now with your Lotus Notes apps - do you make another costly upgrade, or settle for being marooned without product support? Time to move off Lotus Notes and onto the cloud with Force.com, apps are easier to build, use, and manage than apps on traditional platforms. Sign up for the Lotus Notes Migration Kit to learn more. http://p.sf.net/sfu/salesforce-d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
