IsDeterminate​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

The algebra of limits holds for the infinities as much as for the finite values:
where f tends to A and g to B, f * g tends to A * B whenever A * B means anything, and
1 * +oo means +oo as surely as 2 * 3 means 6. The descent asked only whether both
limits were finite, so the determinate infinite combinations were left to the solvers,
which substitute the destination and read what comes out --
https://github.com/asc-community/AngouriMath/issues/335. That left
lim x->0+ cos(x) / sin(x) answered and lim x->0+ cos(x) * (1 / sin(x)) not, the same limit written two ways.
The indeterminate forms are exactly the ones the arithmetic calls NaN: 0 * oo,
oo - oo, oo / oo, 0 / 0 and a non-zero over 0, whose answer depends on which side the
divisor vanishes from. Each of those is left to fall through to the readings that can
take it apart.
Powers are not asked this question. The arithmetic answers 1 ^ (+oo) with 1 and
(+oo) ^ 0 with 1, and as limits both are indeterminate -- (1 + 1/x)^x tends to e -- so a power settled this way would be settled wrongly.