[opentheory-users] definition of "new" constants?

[Joe Leslie-Hurd]

>> (And maybe you want to update defineConstList as well?)
>
> Yes, I think an analogous note would make sense.

Done:

http://www.gilith.com/research/opentheory/article.html#defineConstListCommand

>> If I now create another "instance" of a constant with name c
>> (and type bool) by a const+constTerm command, to which
>> constant from among definitions 1 or 2 (if any) does it
>> refer to?
>
> Neither. The only way to get the constants from the definitions in 1 and 2
> is as the objects returned by the definition commands.

Ramana has this right. And to answer your follow-up question, since
the opentheory logical kernel is purely functional it doesn't matter
which order definitions happen.

Cheers,

Joe