Back to Forum | View unanswered posts | View active topics





Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - what is the difference between "timer=1" and "timer=0"?
Author Message
wolf
  Post subject:  Re: what is the difference between "timer=1" and "timer=0"?  Reply with quote
Thank you very much for your kind help! :D
Post Posted: Mon Jan 12, 2015 7:24 pm
hannes
  Post subject:  Re: what is the difference between "timer=1" and "timer=0"?  Reply with quote
See http://www.singular.uni-kl.de/Manual/4-0-1/sing_447.htm.
Remember that assigning a value to timer means setting a certain switch on (if not 0) or off (if 0)
while reading a value from timer is the cpu time: it has nothing to do with any assigned value.
Post Posted: Wed Jan 07, 2015 5:05 pm
wolf
  Post subject:  what is the difference between "timer=1" and "timer=0"?  Reply with quote
In fact, I do not understand what the expression "timer=n" means for an arbitrary integer in Singular. After I use "timer=1", I test the value by typing "timer;" but to get "0".　Any one can give me some tips about it? Thank you in advance!
Post Posted: Fri Jan 02, 2015 6:16 pm


It is currently Fri May 13, 2022 11:04 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group