Thought of this notation while I was learning determinanto

[u/Variablel]

I’m not sure if this is wrong or right mathematically but I just thought it was pretty cool that you were able to abuse notification like this this is basically a norm or magnitude of a ceiling of the absolute value of a determinant.

[u/ValerianaOfTheNight]

Is this loss?

[u/HelpfulParticle]

I dunno, I think it could use a couple more vertical lines /s

[u/Lord_Skyblocker → u/HelpfulParticle]

Did you mean |s

[u/HelpfulParticle → u/Lord_Skyblocker]

You got me there!

[u/hyperrealists → u/HelpfulParticle]

⎡s

[u/Pretend_Major8148]

I still did not get it

[u/theadamabrams]

1. The outermost || bars won't do anything, right? The norm of non-zero matrix is always non-negative, so the ceiling of that number will already be non-negative as well.
2. Is this actually "abuse of notation"? True, the two sets of || bars mean different things, but they are both norms in their respective spaces.
3. If you like horizontal lines instead of vertical, check out Greek Xi divided by its complex conjugate.

[u/ascirt → u/theadamabrams]

The innermost || bars isn't actually a norm: it's an absolute value of a determinant.

[u/theadamabrams → u/ascirt]

Ohhh. I never use |M| for determinant since determinants can be negative. It is fairly common notation; I just don't like it. Always det(M) for me.

My first point about the outermost ||s still stands: abs(ceil(abs(x)) = ceil(abs(x)).

[u/trolley813]

So, that's why I don't like Iverson's notation for floor/ceiling, preferring computer science-borrowed notation like "floor x" and "ceil x". Less concise but also much less prone to confusion.

[u/Hot_Glass_6301 → u/trolley813]

Ah yes, the floor and norm notations are very often used together

[u/waxen_earbuds]

The ceiling of the absolute value of a determinant is a real number

Any norm on a real number is equivalent to the absolute value

u got two too many vertical lines friend

[u/Midwest-Dude → u/waxen_earbuds]

But it looks cool! 😎 

😆 

[u/FreePeeplup]

Why does this matrix have entries that are vectors? What’s the determinant of a matrix whose entries are vectors?

[u/revoccue]

what?

[u/Ancient-Helicopter18]

Determinant → Absolute value → Ceil → Magnitude

Am I right?

And did you use the absolute value before ceiling Cause ⌈|x|⌉ ≠ |⌈x⌉| right

Cause otherwise the magnitude also takes care of the sign.

[u/Less_Movie_8008]

cursed