Thanks, but I am not sure about that: "I think that the compilation should even fail if not all functions are implemented. "
There can be 50 functions missing, when I start to implement something new. So I would rather be happy if I get a list what is missing and don't have to write 50 dummy functions first of all. To approach Ralf's requirement, it would be necessary to require a unique construction function for a dummy value for every domain. I once thought about starting a project to make an Eclipse Environment for programming in AXIOM/FriCAS to get e.g. stump implementation automatically. If this is done first, I could support Ralfs idea. Anyone interested in such a project? Am 08.11.15 um 14:12 schrieb Ralf Hemmecke: > I strongly support Johannes' request. > > In particular, I think that the compilation should even fail if not all > functions are implemented. It shouldn't be too hard for a programmer to > write dummy functions if something is unimplemented like > > foo(x: X): Y == error "foo is not implemented" > > but if something is missing and this is only visible if an enduser hits > that missing function, is somewhat embarrassing. > > Ralf > > On 11/08/2015 02:06 PM, Prof. Dr. Johannes Grabmeier privat wrote: >> Would it be very tedious to change the output of errors like this one >> >> (67) -> ive :: ECTD >> Internal Error >> The function retractIfCan with signature hashcode is missing from >> domain ExtendedIndexedVector >> (CyclicTwoDimensionalVelocity (Fraction (Integer)))(CyclicGroup4d)4 >> >> to AXIOM/FriCAS notation, in particular printing out the signature, e.g. >> >> >> Internal Error >> The function retractIfCan with signature >> >> retractIfCan : >> IndexedVector(CyclicTwoDimensionalVelocity(Fraction(Integer)),CyclicGroup4d,4) >> -> Union(%,"failed") >> >> is missing from domain >> >> >> ExtendedIndexedVector(CyclicTwoDimensionalVelocity(Fraction(Integer)),CyclicGroup4d,4) >> >> >> This would be great! >> >> What also would be helpful, if a partially implemented domain would >> return on special request or/and at the end of the compilation a list of >> all unimplemented functions and where they are coming from, also all >> implemented functions and where they are implemented. >> > > -- > Mit freundlichen Grüßen > > Johannes Grabmeier > > Prof. Dr. Johannes Grabmeier > Köckstraße 1, D-94469 Deggendorf > Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 > Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-3224-192688 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
