Hi Martin, In your scenegraph code you declare function signatures twice, for instance in SCartesian.spad the Exports part has (via SPointCategory)
spnt:(a:DoubleFloat,b:DoubleFloat) -> % while the Implementation part has spnt(a:DF,b:DF):% == pt := new(n+1,0$DF)$Rep pt.0 := a pt.1 := b pt.n := 1...@df pt but you could write spnt(a,b) == pt := new(n+1,0$DF)$Rep pt.0 := a pt.1 := b pt.n := 1...@df pt Is this a stylistic preference? In adapting your code to OpenAxiom I would tend to eliminate the second signature declaration except that, since it's your code, I would consider deferring to your wishes on the matter if you feel strongly about it. Arthur ------------------------------------------------------------------------------ Lotusphere 2011 Register now for Lotusphere 2011 and learn how to connect the dots, take your collaborative environment to the next level, and enter the era of Social Business. http://p.sf.net/sfu/lotusphere-d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel