Singular https://www.singular.uni-kl.de/forum/ |
|
Memory: restart? https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1792 |
Page 1 of 1 |
Author: | trailblazer [ Wed Jan 06, 2010 7:17 pm ] |
Post subject: | Memory: restart? |
Hi there, how do I clear the currently used memory in singular? Is there some sort of "reset"-call? |
Author: | hannes [ Thu Jan 07, 2010 2:31 pm ] |
Post subject: | Re: Memory: restart? |
to free memory used by some object o, use kill o; to free all objects, use killall(); from the library general.lib. And, no, there no general reset beside starting a new Singular process. |
Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |