@Nils Bruin thanks for the info about checking the memory management, its quite useful! It relates to the initial question about active testing, right? Maybe it will help me to pinpoint some memory leak bugs in Singular.
My (intermediate) question goes into a little different direction and very likely I was not clear: When I'm writing a routine foo(bar) I usually program conservatively and check preconditions on parameter 'bar' (is the input valid?) In many cases this might be very costly and it should be only done for a certain global, package or context-related *checkLevel * (e.g. modified by the user or developer). In Singular a similar concept is implemented for the new ASSUME keyword. So if I call in Singular "ASSUME(3, 1==2);" '1==2' is only checked if the (package-local) *assumeLevel* is >=3. Since I'm new to sage, I'm questioning if sage has a similar framework ( if you are picky, the question belongs to sage-support or to ask.sage ) and if sage does not have such a framework, I suggest to think about it and then its probably in the right place at sage-devel Jack Am Dienstag, 13. Mai 2014 21:28:35 UTC+2 schrieb Nils Bruin: > > On Tuesday, May 13, 2014 11:27:02 AM UTC-7, kro...@uni-math.gwdg.de wrote: >> >> 1. Does sage provide a concept for user-configurable (separately for each >> package or other context) optional (parameter) testing like in GAP >> or Singular? Purpose: debugging/bug hunting. >> > > If you're interested in checking memory management (and also some other > debugging) these tickets have some relevant info that may or may not have > made it into documentation: > > http://trac.sagemath.org/ticket/13876 > http://trac.sagemath.org/ticket/13731 > http://trac.sagemath.org/ticket/13864 > > I think it's been a while since people have tried this stuff, so it may > need some maintenance. > > Concerning interfacing with libsingular and memory management, we *know* > we're buggy: > > http://trac.sagemath.org/ticket/13447 > > we simply haven't had access to the resources/expertise/time to fix it. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
