"Hiding" the starting index would unfortunately not really solve the issue.
Even if we use a variable as a starting index, we have to choose between
the ` ... ` operator (closed integer interval) and the ` ..^ ` operator
(half-open integer interval), whereas the former form is rather used for
indices starting at 1 and the latter rather for indices starting at 0.
I also think the more we hide, the more complex and the less clear the
constructs will be: the best would still be a universal convention.
I'm willing to rewrite the theorems I have now with ( 1 ... N ) into ( 0
..^ N ) if such is the choice of the community, but I don't see any
efficient and clear way to make it working in a flexible way for both at
the same time.
On 29/08/2020 18:52, David A. Wheeler wrote:
My vote is to conform to the literature and have matrices and vectors 1-based.
Would it be reasonable to "hide" the starting index in most cases and just say "first
index", "last index", and so on? Ada the programming language does this to a certain extent.
I'm thinking out loud.
--- David A.Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/e24bd713-f93d-15a7-2fc2-604db7ffd946%40gmx.net.
