differential graded algebra that is graded-commutative