Hi Jon, On Saturday, January 11, 2020 at 7:33:13 PM UTC+1, Jon P wrote: > > Quick question: Why are the following sections marked as depricated in > set.mm? > > PART 18 ADDITIONAL MATERIAL ON GROUPS, RINGS, AND FIELDS (DEPRECATED) > These areas are covered by *PART 10 BASIC ALGEBRAIC STRUCTURES* <http://us2.metamath.org:88/mpeuni/mmtheorems.html#dtl:10> I am partially working in this area, proeparing some concepts of PART 18 like Magmas or Semigroups to be moved to PART 10 (see my mathbox). The definitions in PART 10 are, however, not based on the "standard" extensible structures, so these cannot be used without modification.
> PART 19 COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED) > > PART 20 COMPLEX HILBERT SPACE EXPLORER (DEPRECATED) > > Has anyone done other work on these areas which superceded them? Are there > people working on these areas now or is there some plan to work on them? It > seems like Hilbert Space stuff is quite an important topic to cover. > -- 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/ad13c20f-719e-4e71-9909-4e20c182300a%40googlegroups.com.
