Hi everyone,

I am building a sensor fusion framework based on nalgebra, and found out that we do not have support for Lie algebra operations like expmap and logmap. Is is appropriate to add them here or should I implement them in my own crate by using some traits?

Many thanks,

Fan

Currently monoid for set is union monoid, we could use both.

In the docs to derive a function you have to use Algebrite.d(...). The thing is that in practice what actually works is Algebrite.derivative(...). Point me in the right direction and I can send in a Pull Request.

Currently the empty of Monoid is specified as a nullary function rather than a plain value. Is there a plausible use case that benefits from empty being a function or requires it to be a function?

At the moment, I'm tempted to specify empty as a plain value in [a use case of monoid](https://github.com/calmm-js/p

The current API of labeled graphs does not seem to capture the notion of disconnected components well.

For example for Graph Bool String, both False / True and True / False can denote the lack of and the existence of an edge, respectively.

Therefore algorithms like shortestPath would require extra parameter noEdge : label -> Bool.

Expected behavior

The hint and keyboard button is meant to work in all sections, as long as it is being placed there.

Actual Behavior

While clicking on hint and keyboard, in some section of the application it does not work at all, such as the combination and permutation section.

How to reproduce

• Download and install the application
• Lunch the application
• Click on

The method that Euclid proved there are infinite number of prime numbers.

Consider also include Euler's method by using
S_{n, r} = (1 + 1/2 + 1/2^2 + ... + 1/2^n) . (1 + 1/3 + 1/3^2 + ... + 1/3^n)...(1 + 1/p + 1/p^2 + ... + 1/p^n)

For detail, refer to Dieudonne's book.

Let cyc := -E(8)+E(8)^3. Mathematically, cyc = Sqrt(2) holds. In GAP, we have the following behaviour:

gap> cyc < 2;
false
gap> cyc < 2.;
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `<' on 2 arguments at /Users/dominik/gap/lib/methsel2.g:249 called from
<function "HANDLE_METHOD_NOT_FOUND">( <arguments> )
 calle

(This comment is not about the simpler encoding discussed in #206.)

I remarked that the laws structure does not follow the typeclass structure exactly. For example, we have tests for Lattice[A] with BoundedJoinSemilattice[A], which simply collect laws of Lattice and BoundedJoinSemilattice, however the corresponding combined typeclass does not exist.

Combinations with `DistributiveLat

1. Console output
   Maybe err and warn should output an error and warning to the JavaScript console respectively.
   The code also should not throw a TypeError or something alike if a console is not present.
   Like this:

if(console) console.error(msg);

if(console) console.warn(msg);

2. Document err, warn and related APIs
   warn is currently unused and undocumented.
   Documen

Comes from #674

We need to add a section in mu docs clarifying what is needed for exposing the metrics. We can take the information from here: https://www.47deg.com/blog/metrics-integration-with-mu/#checking-metrics-through-prometheus-server-11

Per conversation at https://gitter.im/47deg/freestyle?at=59ff9f01976e63937e2f9405 there is some useful type level computation we can perform over Cop and CopK to fold two different Coproduct's and apply Ops while folding.

If I define an additive group according to the instructions in the documentation, it still will not satisfy the AdditiveGroup trait, and I can't do addition with it (e.g. element + element).

use alga::general::{AbstractMagma, Additive, AdditiveGroup, Identity, Inverse}; // 0.7.2
use alga_derive::Alga; // 0.7.1

#[derive(Alga, Clone, Copy, PartialEq, Debug)]
#[alga_traits(Group(Additi

Refactor IntervalSym:
. https://github.com/axkr/symja_android_library/blob/master/symja_android_library/matheclipse-core/src/main/java/org/matheclipse/core/expression/IntervalSym.java

Many functions use a common "base" method:

• coth, csch,...
• sec, csc, tan, cot,...

Unify periodicity and function header usage.

Define common methods for groups of functions.