The "core" domains are those in the minimal bootstrap set. This took a while to develop. The NAG Axiom required a running Axiom to recompile but I was not allowed to distribute the NAG version. My first task was to find the "core" set of domains so Axiom could build from scratch.
You'll notice in the graph that there are a few "subsets" of nodes. This is a side-effect of expertise from people who worked on Axiom. One goal was to find "domain experts" to work on new domain clusters. I had developed a whole subset related to robotics, my other area of expertise, involving coordinate systems, transforms, Jacobians, Lyapunov stability matrices, etc. ( https://en.wikipedia.org/wiki/Jacobian_matrix_and_determinant ) I never released it. The only domain that made it into the distribution is the Denavit-Hartenberg (DHMATRIX) domain. https://en.wikipedia.org/wiki/Denavit%E2%80%93Hartenberg_parameters This is used to create the forward solution of the robot end effector. On Saturday, September 21, 2024 at 6:13:11 AM UTC-4 oldk1331 wrote: > Sadly it is encoded by hand. > > I was looking for an automated process to generate such graph > from the SPAD DATABASE. If there's no such program, I might > try to write one. > > One reason I want such a visualization graph is that I want > to see the domains that are not used by other domains, > (and visualize how certain domains are grouped/related together) > thus by striping those domains, I can get a "core" of SPAD > domains. I have no idea how big/small this "core" will be. > > - Qian > > > On 9/20/24 2:30 AM, Tim Daly wrote: > > An SVG full name graph > > http://axiom-developer.org/axiom-website/bookvol10.2full.html > > > > An SVG abbreviation graph > > http://axiom-developer.org/axiom-website/bookvol10.2full.html > > > > On Wednesday, September 18, 2024 at 8:51:29 PM UTC-4 oldk1331 wrote: > > > > Hi Ralf, > > > > I remembered there was discussion about using > > vector image (graphviz?) to represent domain relationships. > > > > Any progress/pointers? > > > > - Qian > > > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/459c3ca8-a8b2-44dd-9921-0ce2cd6c1cb6n%40googlegroups.com.
