Property of transc1.log states converse implication #15
Assignees
Comments
|
Good point - will investigate.
James
…Sent from my iPhone
On 23 Aug 2017, at 12:36, lars-hellstrom <notifications@github.com<mailto:notifications@github.com>> wrote:
transc1.ocd states as a property of the log symbol that (both as FMP and CMP):
a^b = c implies log_a c = b
This is the converse of what is mathematically true.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub<#15>, or mute the thread<https://github.com/notifications/unsubscribe-auth/AGvamW-FekF4FxamDT8_GC0Elu7pMog-ks5sbA65gaJpZM4O_4Jw>.
|
lars-hellstrom
added a commit
to lars-hellstrom/OpenMath.github.io
that referenced
this issue
Sep 28, 2017
One thing left untouched here is the example of a CD symbol definition (transc1#log). That needs more attention, because the implication given is wrong (see issue OpenMath/CDs#15), and also it seems to be based on an older version of the CD (but the error is also in the present CD). In addition, I've included some OMS URIs such as http://www.openmath.org/cd/nums1#rational which currently fail with messages such as The requested URL /var/www/www.openmath.org/www/nums1.xhtml was not found on this server. I think that is a misconfiguration on (the old) www.openmath.org however, so it probably shouldn't call for a change here.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
transc1.ocd states as a property of the log symbol that (both as FMP and CMP):
This is the converse of what is mathematically true.
The text was updated successfully, but these errors were encountered: