SemigroupProductDouble constructor

SemigroupProductDouble()