User loginNavigation 
Help with a little geometric hackery...Hey LtUers, i discovered a cool way to visualize terms in reflective calculi. At (http://biosimilarity.blogspot.com/) i posted the core calculation. (Apologies for the layout... i don't know why the use of the table tags are causing so much spacing.) i'll recapitulate them here. i'm wondering if someone familiar with the gfx libs of OCaml or F# or Haskell would be interested in helping me implement the algorithm. It's dirt simple, but i'm pretty rusty on my basic geometry, anymore, and really don't know the gfx libs of these languages. Write me at lgreg.meredith@biosimilarity.com if interested. Best wishes, greg Last night i discovered a geometric interpretation of the reflective versions of the Î» and Ï€calculi. It's 'simplicial' in nature. For example, take the reflective version of the asynchronous Ï€calculus.
Assign a dimension to each term constructor. Thus, we have
or 6 dimensions. We define a recursive function, G[  ]: L(P) â†’ R^{6}, assigning to each term a shape in 6 dimensions. After doing some calculations, i'm pretty sure that you want to do scaling and offsets, but i've screwed up the accumulated scaling twice; so, i'm eliminating it and just giving the algorithmic scheme to which you can add your flavor or scaling and offset.
i believe that this will yield interesting visualizations of the terms of this calculus if we assign 3 dims to x,y,z and 3 dims to pitch, roll and yaw. The dynamics of execution will yield animations. By Lucius Gregory Meredith at 20070116 03:25  LtU Forum  previous forum topic  next forum topic  other blogs  3895 reads

Browse archivesActive forum topics 
Recent comments
7 hours 15 min ago
16 hours 10 min ago
1 day 3 hours ago
1 day 4 hours ago
1 day 4 hours ago
1 day 5 hours ago
1 day 5 hours ago
1 day 8 hours ago
1 day 9 hours ago
1 day 11 hours ago