Project

General

Profile

Feature #685

Use DivMask inside QBGenerator

Added by John Abbott about 9 years ago. Updated about 8 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Tidying
Target version:
CoCoALib-1.0
Start date:
16 Apr 2015
Due date:
% Done:

0%

Estimated time:
Spent time:
0.50 h

Description

Internally QBGenerator usually makes very many divisibility tests; use DivMask to make these tests faster.

This will probably be useful for current work on ImplicitDrect

Related issues

Related to CoCoALib - Bug #232: No test for QBGeneratorNew2012-09-24

Related to CoCoALib - Feature #775: PPMonoid with 1 extra "exponent"?New2015-09-15

History

#1 Updated by John Abbott about 9 years ago

We shall need collections of DivMask mirroring the elements of myCornerList and myAvoidList. A complication arises when myCornerList is sorted.

One possibility is to use PPWithMask inside myCornerList and myAvoidList, but this would force a change in the user interface (since both "lists" are publicly readable).

#2 Updated by John Abbott about 9 years ago

  • Description updated (diff)

#3 Updated by John Abbott almost 9 years ago

  • Target version changed from CoCoALib-0.99536 June 2015 to CoCoALib-0.99540 Feb 2016

#4 Updated by John Abbott about 8 years ago

  • Target version changed from CoCoALib-0.99540 Feb 2016 to CoCoALib-1.0

Also available in: Atom PDF