Merge branch 'jolivet/feature-less-checkfalse' into 'main'

Dividing by four the number of PetscCheckFalse()

See merge request petsc/petsc!5072

Remove some PetscCheckFalse()

Merge branch 'jacobf/2022-02-23/variadic-chkerr' into 'main'

Variadic CHKERRQ()

See merge request petsc/petsc!4889

The great renaming:

- CHKERRQ() -> PetscCall()
- CHKERRV() -> PetscCallVoid()
- CHKERRMPI() -> PetscCallMPI()
- CHKERRABORT() -> PetscCallAbort()
- CHKERRCONTINUE() -> PetscCallContinue()
- CHKERRXX

The great renaming:

- CHKERRQ() -> PetscCall()
- CHKERRV() -> PetscCallVoid()
- CHKERRMPI() -> PetscCallMPI()
- CHKERRABORT() -> PetscCallAbort()
- CHKERRCONTINUE() -> PetscCallContinue()
- CHKERRXX() -> PetscCallThrow()
- CHKERRCXX() -> PetscCallCXX()
- CHKERRCUDA() -> PetscCallCUDA()
- CHKERRCUBLAS() -> PetscCallCUBLAS()
- CHKERRCUSPARSE() -> PetscCallCUSPARSE()
- CHKERRCUSOLVER() -> PetscCallCUSOLVER()
- CHKERRCUFFT() -> PetscCallCUFFT()
- CHKERRCURAND() -> PetscCallCURAND()
- CHKERRHIP() -> PetscCallHIP()
- CHKERRHIPBLAS() -> PetscCallHIPBLAS()
- CHKERRHIPSOLVER() -> PetscCallHIPSOLVER()
- CHKERRQ_CEED() -> PetscCallCEED()
- CHKERR_FORTRAN_VOID_FUNCTION() -> PetscCallFortranVoidFunction()
- CHKERRMKL() -> PetscCallMKL()
- CHKERRMMG() -> PetscCallMMG()
- CHKERRMMG_NONSTANDARD() -> PetscCallMMG_NONSTANDARD()
- CHKERRCGNS() -> PetscCallCGNS()
- CHKERRPTSCOTCH() -> PetscCallPTSCOTCH()
- CHKERRSTR() -> PetscCallSTR()
- CHKERRTC() -> PetscCallTC()

show more ...

chkerr and friends wrapped

Merge branch 'jacobf/2022-01-05/c99' into 'main'

Feature: C99 and C++11

See merge request petsc/petsc!4700

rename PetscAssert() -> PetscCheck() and PetscAssertDebug() -> PetscAssert()

add PetscAssert() and PetscAssertFalse()

Merge remote-tracking branch 'origin/jose/fix-manpages'

Fix manpages to avoid errors reported by doctext

See merge request petsc/petsc!4309

Fix manpages: Argument --> Parameter (required to enable sowing checks)

Merge branch 'jose/spelling-errors' into 'main'

Fix many spelling errors in manpages and comments

See merge request petsc/petsc!4283

Fix spelling errors in manpages and comments

doc fixes

Merge branch 'tisaac/feature-alt-v' into 'master'

Tisaac/feature alt v

See merge request petsc/petsc!2357

Add PetscDTAltV cheat sheet

Fix uninitialized, C++, and Fortran issues with PetscDTAltV, other small
fixes

Silence compiler Wmaybe-unitialized warnings in petscdt.h

Loosen tolerances for single precision tests

Fix C++ PetscD

Fix uninitialized, C++, and Fortran issues with PetscDTAltV, other small
fixes

Silence compiler Wmaybe-unitialized warnings in petscdt.h

Loosen tolerances for single precision tests

Fix C++ PetscDTAltv test ex7

Fix complex<->real loops in PetscDTJacobianInverse_Internal

Fix -Wmaybe-unitialized errors in ex7

Improve documentation of PetscDTAltV thanks to criticism from Barry Smith

Protect PetscDTFactorial against negative input

Unbracket SETERRQ

Make "the" -> "a"/"an" more input argument documentation in PetscDTAltV

Rename formIndex to formDegree for consistent notation

show more ...

Document static inlines in petscdt.h

Expose PetscDTFactorial and PetscDTFactorialInt, match with PetscDTBinomial and PetscDTBinomialInt

Document PetscDTAltV

Add PetscDTAltVInteriorPattern that is reusable for multiple inputs

Fix PetscDTAltVInteriorPattern

PetscDTAltV: added interior product pattern check

Update PetscDTAltV tests with interior product

Add PetscDTAltVInteriorPattern that is reusable for multiple inputs

Fix PetscDTAltVInteriorPattern

PetscDTAltV: added interior product pattern check

Update PetscDTAltV tests with interior product output

show more ...

Start PetscDTAltV

Added reference implementation of alternating multilinear forms

But I'm going to clean up the interface. I don't think an actual object is necessary
and we want to optimize the c

Start PetscDTAltV

Added reference implementation of alternating multilinear forms

But I'm going to clean up the interface. I don't think an actual object is necessary
and we want to optimize the cases N = 2, 3

PetscDTAltV: change representation order

so that when k != N / 2, there is no reordering in hodge star

PetscDTAltv: New basis for alterting multilinear forms.

For $k$-forms with $2 k \leq N$, the standard lexicographic
basis of $\{dx_{\sigma(1)} \wedge \dots \wedge dx_{\sigma(k)}\}$
is used.

For $2 k > N$, we modify this by first reversing the lexicographic
order, and then swapping $\sigma(1)$ and $\sigma(k)$ if $\sigma$ is odd.
While this involves more sign flips than the basic approach, it has two
good properties:

- it preserves the case as before that the dofs of a row vector /
covector are the dofs of the equivalent 1-form, but now
- the dofs of a contravariant vector (like an H(div)-conforming flux)
are the dofs of the equivalent (N-1)-form (importantly, this means
that the contravariant pullback is the same as the alternating form
pullback)

The only exception is 2D, for which the case is the same as before: the
1-form pullback is the covariant pullback, the contravariant pullback
can be obtained by Hodge star isometry before and afer the pullback.

Remove bad file from rename during merge

PetscDTAltV: interface simplifaction, undo specialized basis.

The fact that the N=2 case wasn't handle bothered me. Now I think the
thing to do is to let PetscDTAltVPullback() and PetscDTAltVInterior() take
negative form degrees, indicating that the pullback/interior product should be
conjugated with the hodge star.

Fix c++ PetscBool issues with PetscDT static inlines

PetscDTAltV: negative form index in pullback...

indicates $\star^{-1} \circ L* \circ$. This gives the contravariant
pullback by $ k=-(N-1)$ in all dimensions.

PetscDTAltV: stop using altv data structures

I'm going to remove the object

PetscDTAltV: Remove object

PetscDTAltV: avoid mallocs/frees for N <= 3

show more ...