Christian Lawson-Perfect @christianp@mathstodon.xyz

That's better: now the symbols don't look like the ghosts of overfull hboxes

So obliging of my knee to dislocate in order to make space for my baggy trousers when I kneel.
#EhlersDanlos

Putting the finishing touches to my history of mathematics in the north-east of England, "E to the Why Aye"

@valrus @halcy except some people might object that "divide the dough into 1 piece" isn't really a step

@valrus @halcy ooh, good point

@halcy @valrus without any constraints, I'd say the answer is the sequence [n], interpreting "smallest" as "length of sequence". If it's "lowest mean of the elements of the sequence", then yes I think it's prime factorisation

Me: ooh, maybe 1.5MB is too big for an entire package that students need to load to do their exam.

My employer: let's stick a different 1.6MB "hero image" at the top of each of our public-facing pages

Can't not read it as "finitely generated abelian grape"

@antoinechambertloir est-ce que vous dessinez un rectangle et la ligne diagonale, ou deux triangles? Vou pouvez jouer avec les paramètres "line join" et "line cap"?

Idea: a theorem verifier with the mindset of a toddler. When it starts it rejects everything, so you have to show it the two theorems it already knows like a hundred times before it'll admit that some things are, in fact, true

Omg it draws TeX! #plotter

@pkra yep. Vertices have labels like "vertex labelled a" abd edges labels like "edge between a and b"

Today I have had a lovely time writing a Numbas extension for graph theory.

@bmreiniger yeah, I have a proper marking algorithm for part d somewhere else that I need to copy over. And you are correct that I've got h wrong - I made an off-by-one error in my working-out and only fixed one occurrence

Today I have had a lovely time writing this Numbas question about the isomorphisms of a binary tree: https://numbas.mathcentre.ac.uk/question/90020/isomorphisms-of-a-binary-tree/embed/?token=b85745aa-f3a4-4241-8485-6716ae922150

Working on some group theory, I'm writing out words on generators, which I've labelled with letters.
I just noticed that \(e\) has order 2, so

\[ beef = bf \]

It turns out this is real-world maths, after all!

The 3-year-old asked for a rainbow heart.

Took a moment with the #plotter!