added spec using SINGULAR, which is currently disabled