matrimc's profile - activity

I abandoned the old user ID altogether and am using the new ID.

There isn't a way for a user to delete their own account on sagenb.org right now.

Did you have an email address associated with your old account? If so, then a password reset might be possible.

A small nit - The link is named "post a comment"

OK. I found the answer.

h = f.ifthen(g)
h.truthtable()

which shows that hypothetical syllogism is a valid derivation.

import sage.logic.propcalc as propcalc
f = propcalc.formula("(a->b)&(b->c)")
g = propcalc.formula("a->c")
h = f -> g
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "_sage_input_3.py", line 10, in <module>
    exec compile(u'open("___code___.py","w").write("# -*- coding: utf-8 -*-\\n" + _support_.preparse_worksheet_cell(base64.b64decode("aW1wb3J0IHNhZ2UubG9naWMucHJvcGNhbGMgYXMgcHJvcGNhbGMKZiA9IHByb3BjYWxjLmZvcm11bGEoIihhLT5iKSYoYi0+YykiKQpnID0gcHJvcGNhbGMuZm9ybXVsYSgiYS0+YyIpCmggPSBmIC0+IGc="),globals())+"\\n"); execfile(os.path.abspath("___code___.py"))
  File "", line 1, in <module>

  File "/tmp/tmp4YAIeP/___code___.py", line 5
    h = f -> g
           ^
SyntaxError: invalid syntax

This looks like Python interpreter is interpreting the line before it goes to the propcalc. How do I make the formula f -> g? Is there some function like h = f.implies(g) or some such?

Thanks

For each of the above links I getting a page with the message "The worksheet does not exist". How do I see any of the links? I want my daughter who is in highschool to take a look at these.

You can view the PREP tutorials by clicking "Help" at the top of the screen (3rd link from the right), then in the window that pops up, click "Fast Static Versions of the Documentation", and finally scroll about 2/3 of the way down the page to get to PREP Tutorials. Alternatively, you can follow the link http://sagemath.org/doc/prep/.

To runthe PREP tutorials as "live" documentation from sagenb.org, it's only slightly trickier: open up the link http://www.sagenb.org/doc/live/prep/index.html. You might then have to log in to sagenb.org. (I can't see a way to get there just by clicking links from the "Help" screen.)

I can get to static worksheet which is not my problem. The second method does work. Thanks

How do I start PREP tutorials interactively while logged into sagenb.org?

Yes., I do have one for the old account which is same as the openID google email. By the way, can somebody who is an admin of sagenb.org can delete the old account? I do not have any work that needs to be saved.

I had an old account on sagenb.org for which I do not remember the password any more. I have created a new openID profile for which I want to use the same id as the old one. Is there any way that the old id can be deleted, so that I can reuse? My screen name is matrimc for the openID which I created just now. My old id for which I forgot the password is telugujoshi.

Thanks