Documentation List

[austin.jo...@gmail.com]

I am going to create documentation for the following items. If you have completed or started work on any of them let me know.

List:

CNF.mpw

Contradict.mpw

DoUnitSubsumptionAndResolution.mpw

LogicCombine.mpw

LogicFindWith.mpw

LogicRemoveTautologies.mpw

LogicSimplify.mpw

Subsumes.mpw

equals_greaterthan_operator.mpw

[Ted Kosan]

Austin,

Are these actually .mpws files that exist somewhere in the
"src/library_apps/mathpiper4/src/org/mathpiper/scripts4/" directory?

Ted

> --
> You received this message because you are subscribed to the Google Groups "mathpiper-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to mathpiper-de...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[austin.jo...@gmail.com]

Ted,

I looked in the wrong folder it seems. I will find the other document and get a list of those and update the original post

Austin

[austin.jo...@gmail.com]

On Sunday, March 3, 2019 at 3:45:40 PM UTC-5, austin.jo...@gmail.com wrote:

I am going to create documentation for the following items. If you have completed or started work on any of them let me know.

List:

MatrixColumnAugment.mpws -> **** Does not contain docs ****
MatrixColumnReplace.mpws -> **** Does not contain docs ****
MatrixColumnSwap.mpws -> **** Does not contain docs ****

   MatrixRowReplace.mpws -> **** Does not contain docs ****
   MatrixRowStack.mpws -> **** Does not contain docs ****
   MatrixRowSwap.mpws -> **** Does not contain docs ****

   MathPiperToReduce.mpws -> **** Does not contain docs ****
   ReduceToMathPiper.mpws -> **** Does not contain docs ****

[Ted Kosan]

Austin,

Go ahead and create documentation for all of the procedures in the
list except "MathPiperToReduce.mpws and "ReduceToMathPiper.mpws".
These two procedures are support procedures that are not meant to be
used directly by users.

Ted

[austin.jo...@gmail.com]

Ted,

When creating the documentation I had some questions about MatrixRowStack. I understand that adds a row to the end of a matrix. I was wondering if there is a better way to describe it mathematically. Also it is able to accept rows that are longer than the rest of the matrix. Should this be possible for matrices? Note this also applies to MatrixColumnAugment

Austin

On Sunday, March 3, 2019 at 3:45:40 PM UTC-5, austin.jo...@gmail.com wrote:

[Ted Kosan]

Austin,

I have never used MatrixRowStack, so I am not sure of a good way to
describe it. I see you did a search in "scripts4" to locate all the
places that MatrixRowStack was used to obtain clues on its intended
use, which is good. In situations like this, one usually just needs to
go with one's best guess of how a procedure should be described. Also,
simple documentation is a significant improvement over no
documentation :-)

Ted

[austin.jo...@gmail.com]

I am going to create documentation for the following items. If you have completed or started work on any of them let me know.

List:

ShuffledDeckNoSuits.mpws

randomtest.mpws

Regress.mpws

Average.mpws

RatonalizeNumber.mpws

RationalOrNumber_.mpws