On 09/02/2025 12:58, Waldek Hebisch wrote:
To say the truth, before trying to fix the functions one should ask if this code is ever used? Function in categories are only used via inheritance to domains. If a domain provides its own representation, then it probably also provides all functions depeneding on representation (doing otherwise risks bugs when code changes). So possibly simplest fix would just remove the problematic code.
Well I often get thrown by the differences between SPAD categories and say Java interfaces so the code may well be sub optimal. Recently I have been writing some SPAD code to implement (mostly finite) topological spaces and the continuous maps between them. What I would like to do is have links (conversions) between this logic implementation, topological space implementation and simplicial complex implementation. So in the longer term I would like to revisit this logic code after the implementing topological space. Another thing I have always wanted to do is implement simplicial sets (degenerate faces and all that) but the point of that is to have nice topological properties so again I want to implement topological spaces first. I don't know what your view of having more of these finite structures in FriCAS is? I suspect most people here are more interested in fields and rings and that sort of thing? When implementing these finite structures like simplicial complexes I keep getting a vague idea that they might be more efficiently implemented as databases where the schema is the base space and the tables are the entire space. Then, maybe it might be possible to abstract out topological concepts like fibrations and cofibrations and lifting and extension properties. I haven't thought this though and I suspect it wouldn't be practical. So feel free to do whatever you want with IsArrow? and if any of this topological space stuff seems interesting to anyone I would appreciate any ideas. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/1d7e237a-f2ca-4bf5-89e2-e23272708193%40martinb.com.
