Similarly, a set of all smooth maps from S1 to a Lie group G forms an infinite-dimensional Lie group (Lie group in the sense we can define functional derivatives over it) called the loop group. The Lie algebra of a loop group is the corresponding loop algebra.
An algebraic loop generally occurs when an input port with direct feedthrough is driven by the output of the same. When a model contains an algebraic loop, Simulink software calls a loop-solving routine at each time step.