WolframAlpha computational knowledge AI
discriminant of 12th cyclotomic polynomial