add a missing method for the divisionOf #3058

	name: CI
	on:
	workflow_dispatch:
	pull_request:
	types: [review_requested,reopened,synchronize]
	push:
	branches:
	- 'main'
	tags: '*'
	check_run:
	types: [rerequested]
	schedule:
	- cron: '0 8 * * 1' # run the cron job one time per week on Monday 8:00 AM
	jobs:
	format:
	name: Julia Formatter
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: julia-actions/setup-julia@v1
	- run: make lint
	test:
	name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
	runs-on: ${{ matrix.os }}
	continue-on-error: ${{ contains(matrix.version, 'nightly') }}
	needs: format
	permissions:
	actions: write
	contents: write
	strategy:
	fail-fast: false
	matrix:
	version:
	- '1.11'
	os:
	- ubuntu-latest
	arch:
	- x64
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v1
	- uses: julia-actions/cache@v1
	- uses: julia-actions/julia-buildpkg@v1
	- uses: julia-actions/julia-runtest@v1
	- uses: julia-actions/julia-processcoverage@v1
	- uses: codecov/codecov-action@v2
	with:
	file: lcov.info
	docs:
	name: Documentation
	runs-on: ubuntu-latest
	needs: test
	permissions:
	actions: write
	contents: write
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v1
	- uses: julia-actions/cache@v1
	- uses: julia-actions/julia-buildpkg@v1
	- run: make docs
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

Provide feedback