gf | A wrapper around grep , to help you grep for things | Regex library

As a quick fix you can try this:

Just like with other list categories C, you need to use a constructor that takes two (or more) Cs and creates a [C].

For categories that are in the RGL API, there are convenience opers of type mkC : Conj -> C -> C -> C, but under the hood, those opers also need to call the proper constructors for [C]. (The constructors are called BaseC and ConsC, and you can read more on lists here.)

So VPS is not in the API, so there is no convenience oper with type signature Conj -> VPS -> VPS -> VPS. Instead, you need to call BaseVPS explicitly. Here is working code, I cut your long expression into smaller pieces.

Computing with a square root of -2 amounts to working modulo the polynomial t^2 + 2.

The function power_mod can be used for that.

Instead of first powering and then reducing modulo t^2 + 2, which would be wasteful, it performs the whole powering process modulo t^2 + 2, which is a lot more efficient.

Here are two ways to write the (same) computation.

I had the same issues, and I downgraded to the following version:

In your config for the X axis where you set the ticks to display false, if you instead do this in the root of the X scale config it will hide that line so you will get:

You could zip the string with an offset like this:

It just means that while computing the following expression:

On "Bottom-out Force," it looks like the first line is wide enough before it wraps words that it pushes the Text width to the maximum width of the view. On the others, it gets wrapped with shorter line lengths, and then ends up adding padding to center the text within the view.

You can fix this by adding a .leading alignment to your VStack. For example:

In the linked question, ~ is escaped because ~ has a special meaning for Vim's regexp engine: "matches the last given substitute string".

But @ is not special in any way so there is no need to escape it: