-------- Forwarded Message -------- Subject: Tensors Date: Sat, 23 May 2020 14:12:40 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, Can you post this: so it seems people agree for a tensor algebra development in the Commons part. If Norm has no further concerns, we can begin -- FL As was already mentioned, there is no section called "Commons". There is a section called "(Future - to be reviewed and classified)" that possibly could be renamed as discussed here: https://groups.google.com/d/msg/metamath/UwTUuNPgaB0/NdWefzG4AgAJ The purpose of this section is to provide a place for theorems needed by 2 or more mathboxes that otherwise don't currently have a place elsewhere in set.mm. While I'm not rejecting your proposal out of hand, your work would not immediately be needed by 2 mathboxes, and to me it doesn't really fit in with the purpose of this section. I would prefer that you use a mathbox like everyone else. Nonetheless, if we are to place your work directly in the main part of set.mm, it needs to be of high quality and vetted. It would be good if you post here the new definitions you propose and provide a description or outline of what theorems you intend to prove. Could you do that? Thanks. Norm -- 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/f423248c-a28f-45d0-875c-16995ad3f2fe%40googlegroups.com.
