Checking C++ Programs for Dimensional Consistency
I will present my implementation 'n-units' of physical units into C++ programs. It allows the compiler to check for dimensional consistency.
cs.PL↗
arXiv subjects
Publications and source records attributed to I. Josopait.
I will present my implementation 'n-units' of physical units into C++ programs. It allows the compiler to check for dimensional consistency.
The atom optics of Bose-Einstein condensates containing a vortex of circulation one is discussed. We first analyze in detail the reflection of such a condensate falling on an atomic mirror. In a second part, we consider a rotating condensate in the case of attractive interactions. We show that for sufficiently large nonlinearity the rotational symmetry of the rotating condensate is broken.