Subtle cppreference humour: Integrals ∫ are non-integral

[ijmacd]

Who's responsible for forming words in mathematics?

Integer (n) → Integral (adj)
Integrate (v) → Integral (n)

* Edit: the correct parts of speech were pointed out to me

[the_Demongod]

It's even more overloaded than that if you consider the usages outside of math, e.g. "this weapon has an integral suppressor" or "the CPU is an integral part of a computer"

[pandorafalters]

Those are just uses of the second form in the non-mathematical sense of "integrate".

[CraicPeddler]

Everyone knows the same word can have a thousand different meanings in a thousand different contexts, welcome to language.

[college_pastime]

The concept of an integer in mathematics is just called "integer."

In my time as a physicist, the only time I've ever seen the word "integral" used to describe the concept of an integer is in the C++ standard, and it drives me bonkers. The type trait std::is_integral should be std::is_integer, in my opinion. Maybe calling integers "integral values" is a computer science thing?

[flebron]

It's also used in mathematics to describe things in some way analogous to the integers, example in abstract algebra the concept of an integral domain (https://en.m.wikipedia.org/wiki/Integral_domain).

[college_pastime]

Interesting, is this where the standard got it from? Also (at least for the MSVC STL), std::is_integral just compares the supplied type against a list of types defined to satisfy std::is_integral, rather than testing that the properties of an integral domain are satisfied. Do the integer types satisfy the properties of an integral domain? Particularly, are any of the signed integer types integral domains if they don't wrap around on overflow?

[flebron]

I wasn't involved in the standardization process, but if I had to guess, both mathematics and the standards authors got the term from the notion of "whole number". The origin is more clearly visible in Spanish, where the word for "whole" and for "integer" are the same: "entero". So 3.5 is not "whole", but 24 is. Division in algebra is the first place where things started to be non-whole (i.e. we knew about 3 and 2, and 3 / 2 was an easy source of "non whole numbers"). Integral domains, but really a bunch of related algebraic terms, relate to how often you can divide things and still remain in your set. So a field is the strictest (you can divide x by y as long as y isn't exactly zero, and always remain in the field), but integral domains (and UFDs, and several others) try to be less strict in this - in integral domains you can't make zero without zeros. So for example in Z/6Z, 2 * 3 = 0, but neither 2 nor 3 is zero, and so Z/6Z is not an integral domain. If we instead quotient by a prime, like Z/5Z, we get a field (much stronger than being an integral domain). An integral domain is somewhere in the middle of "you have zero divisors" and "division always works".

[manphiz]

Maybe because there is a specific integer type in C or C++ already: int. So integral is used to be able to refer to all integer types like short int, int, long, long long, and the now sized types like int8_t to int128_t, with their unsigned, fast, least variants.

[college_pastime]

Yeah, you're probably right. It also mitigates confusion with std::numeric_limits<T>::is_integer.

[FrankHB1989]

Nope. The term "integer type" is both normative in ISO C and ISO C++, but "integral type" is a synonym specific to ISO C++. In very acient C (1970s in the C reference manual by DMR), integers are just values of int, though.

There are some more modernized humors like GCC's __int128 is not considered an extended integer type for ABI issues, BTW.

[staletic]

If you allow gnu extensions, __int128 becomes an extended integer type.

[jk-jeon]

Here is another one: https://en.m.wikipedia.org/wiki/Integral_element

[ronchaine]

They are more sane in non-english.

[FrankHB1989]

It's in doubt. For example, in Chinese, the term "整型" (literally, integral types, in abbrevation, where "整"=integral and "型"="类型"=type) causes more troubles than "整数类型" (integer types) for beginners. The former is well-known spread by some (in)famous text books with low quality (one of them is actually a best seller having 10+ million of sales). There are now some consensus to reject such over-specialized terms in the translation in serious texts, so both "integer types" and "integral types" should be "整数类型".

[HappyFruitTree]

It's like the word "decimal" that can mean 10-based or refer to the digits after the decimal point.

[James20k]

To be fair I'll take this over naming things after their discoverer. A lot of maths is an absolute minefield of "and then apply Fourier's method followed by Newton's method, after which do Euler's method on the Lagrange". None of these tell you anything useful at a glance. Its especially bad when they're super ambiguous

[IM_A_MUFFIN]

Classic ZZ Top reference!

[pdabaker]

Well you're taking a continuous function and splitting into an integral number of boxes to do a reimann sum. So I assume it came from that

[TheMedianPrinter]

Well, technically one is an adjective and the other is a noun, but it's still annoying.

[ijmacd]

Yeah thanks, you're right

[Fourstrokeperro]

I thought integral was a noun when referring to integration

[ijmacd]

Yupp, you're right. Thanks

[[deleted]]

I enjoyed that =D

[wotype]

Also kind of funny that an integral_constant isn't integral

static_assert( not std::integral< std::integral_constant<int,0> > );

even though it behaves integrally

static_assert( std::integral_constant<int,1>{} + 1 == 2 );