18:46:21yitziSeems like if you were actually trying to implement an algebra with generic functions you could just accomplish this by specializing on a "group" or "field" instance.
18:46:31yitziThat would basically be the same thing.
18:47:04Bikesure, people do that. and actually i think that's how coalton implements typeclasses under the hood.
18:47:15Bikemeans passing some more arguments around, though.
18:47:53yitziI think that is what Weyl did. (Lisp based algebra).
18:55:59jcowanFirst-era industrial capitalism worked on the principle of "work fast and break people and other living things".
19:01:15Bikejcowan, when you respond to something hours later like i assume you're doing, can you give me some kind of hint so I don't sit for a minute trying to understand what coal mines have to do with computer algebra systems
19:01:21Bike(if it is related i want to understand that too)
19:01:58jcowanSorry, I tend to forget when I am scrolled back or not
19:02:24jcowannot like the old days when I could see how many folds of TTY paper I had in hand
19:03:30_deathI don't care about specializing on the return type, but it would be great if I could declaim a GF's return type without SBCL clobbering it :/
19:07:35pjbIn the old days, nntp or irc traffic was smaller than nowadays too.
19:10:12jackdanielespecially during the first-era industrial capitalism
19:13:30rotateqpjb: but people also liked to paste bigger ASCII pictures :D
21:51:32utishow come (reduce #'intersection '((a b c))) returns (a b c)?
21:53:13Bikebecause when you give reduce a one element list, it just returns the element.
21:53:48Bikeyou gave it a one element list, that element being (a b c).
21:55:19yitziIf you want other behavior then use :initial-value, but returning the set is more mathematically correct.
22:01:07pjbutis: (reduce #'intersection '((a b c)) :initial-value '(a b c d e f)) #| --> (c b a) |#
22:02:30pjbutis_: (reduce #'intersection '((a b c)) :initial-value '(a b c d e f)) #| --> (c b a) |#
2:47:13rotateqhehe i saw a video from Edi where he talks about the 2nd version for his popular math book and in the end "so also my book 'Common Lisp Recipes', more a reference for advanced users, the dumb title isn't by me, but the publisher" ^^